On Compositionality of Boundedness and Liveness for Nested Petri Nets.

Leonid W. Dworzanski Irina A. Lomazova

Published in: Fundam. Informaticae (2012)

Keyphrases

petri net
petri net model
discrete event systems
manufacturing systems
high level petri nets
colored petri nets
ims ld
state machines
process model
service composition
neural network
production system
fuzzy petri net
stochastic petri net
discrete dynamical systems