A Polynomial Translation of π-Calculus (FCP) to Safe Petri Nets.

Roland Meyer Victor Khomenko Reiner Hüchting

Published in: CONCUR (2012)

Keyphrases

petri net
process algebra
discrete event systems
petri net model
concurrent systems
high level petri nets
colored petri nets
ims ld
manufacturing systems
process model
fuzzy petri net
service composition
stochastic petri net
dynamic systems
state machines
complex systems
e learning
decision making