Modeling and Verifying Distributed Systems with Petri Nets

Nowadays, systems tend to be more and more distributed. Distribution brings a huge complexity and a strong need to deduce possible (good and bad) behaviors on the global system, from the known behavior of its actors. For such systems, we know that classical development methods are not adequate since the coverage of possible executions is too low [1]. This is an old observation that led people to investigate the use of formal methods.