Completeness Results for Single-Path Petri Nets

Rodney R. Howell Petr Jancar Louis E. Rosier

Published in: Inf. Comput. (1993)

Keyphrases

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