Place Bisimulations in Petri Nets.

Cyril Autant Philippe Schnoebelen

Published in: Application and Theory of Petri Nets (1992)

Keyphrases

petri net
petri net model
manufacturing systems
discrete event systems
colored petri nets
ims ld
high level petri nets
concurrent systems
stochastic petri net
service composition
discrete dynamical systems
programmable logic controller
multi agent systems
process model