On the Relationship between π-Calculus and Finite Place/Transition Petri Nets.
Roland MeyerRoberto GorrieriPublished in: CONCUR (2009)
Keyphrases
- petri net
- petri net model
- process algebra
- high level petri nets
- manufacturing systems
- colored petri nets
- discrete event systems
- ims ld
- fuzzy petri net
- process model
- service composition
- state machines
- concurrent systems
- reactive systems
- stochastic petri net
- discrete dynamical systems
- knowledge base
- distributed systems