Reducing k -Safe Petri Nets to Pomset-Equivalent 1-Safe Petri Nets.

Eike Best Harro Wimmel

Published in: ICATPN (2000)

Keyphrases

petri net
petri net model
manufacturing systems
discrete event systems
colored petri nets
fuzzy petri net
service composition
stochastic petri net
high level petri nets
ims ld
state machines
concurrent systems
programmable logic controller
discrete dynamical systems