Basic qualitative properties of Petri nets with multi-guarded transitions.

Published in: ACC (2009)

Keyphrases

petri net
discrete event systems
high level petri nets
manufacturing systems
petri net model
fuzzy petri net
process model
state machines
web services
discrete dynamical systems
qualitative and quantitative
low cost
service composition
ims ld
sequence diagrams
colored petri nets
concurrent systems
genetic algorithm