Avoiding state explosion in a class of Petri nets.

Published in: Expert Syst. Appl. (2015)

Keyphrases

petri net
petri net model
manufacturing systems
colored petri nets
discrete event systems
high level petri nets
service composition
state machines
process model
sequence diagrams
programmable logic controller
discrete dynamical systems
stochastic petri net
fuzzy petri net
state space
ims ld
knowledge based systems