On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets.

Kamel Barkaoui Jean-Michel Couvreur Kais Klai

Published in: ICATPN (2005)

Keyphrases

petri net
petri net model
high level petri nets
discrete event systems
manufacturing systems
colored petri nets
ims ld
fuzzy petri net
service composition
neural network
process model
state machines
stochastic petri net
programmable logic controller
fuzzy logic
web services
artificial intelligence