A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets.

Victor Khomenko Roland Meyer Reiner Hüchting

Published in: Log. Methods Comput. Sci. (2013)

Keyphrases

petri net
petri net model
process algebra
discrete event systems
manufacturing systems
colored petri nets
fuzzy petri net
concurrent systems
state machines
service composition
ims ld
stochastic petri net
discrete dynamical systems
e learning
cellular automata
sequence diagrams