Making Petri Nets Safe and Free of Internal Transitions.

Eike Best Philippe Darondeau Harro Wimmel

Published in: Fundam. Informaticae (2007)

Keyphrases

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