Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets.

Marian V. Iordache Panos J. Antsaklis

Published in: ICATPN (2001)

Keyphrases

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