Joseph Kuehn

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Petri nets are a graph-based modelling formalism which has been widely used for the formal specification and analysis of concurrent systems. A common analysis technique is that of state space exploration (or reachability analysis). Here, every possible reachable state of the system is generated and desirable properties are evaluated for each state. This(More)
  • 1