Boundedness and Liveness Compositionality for Petri Nets on Trace Monoids.

Published in: PDPTA (2007)

Keyphrases

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