Liveness in Bounded Petri Nets Which Are Covered by T-Invariants.

Kurt Lautenbach Hanno Ridder

Published in: Application and Theory of Petri Nets (1994)

Keyphrases

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