Determining Maximal Subsets of Enabled Transitions when Simultaneous Conflict Occurs in Petri Nets.

Published in: Aust. Comput. J. (1992)

Keyphrases

petri net
discrete event systems
high level petri nets
petri net model
manufacturing systems
colored petri nets
process model
concurrent systems
fuzzy petri net
discrete dynamical systems
service composition
state machines
neural network
ims ld
cellular automata