Two Pumping Lemmata for Petri Nets.

Hans-Dieter Burkhard

Published in: J. Inf. Process. Cybern. (1981)

Keyphrases

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