Simplified proof of the blocking theorem for free-choice Petri nets.

Published in: J. Comput. Syst. Sci. (2010)

Keyphrases

petri net
interactive theorem proving
discrete event systems
manufacturing systems
petri net model
service composition
high level petri nets
ims ld
colored petri nets
fuzzy petri net
stochastic petri net
discrete dynamical systems
process model
concurrent processes
decision making
knowledge representation