Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets.

Published in: Petri Nets (2015)

Keyphrases

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