Login / Signup
Verification of Nested Petri Nets Using an Unfolding Approach.
Irina A. Lomazova
Vera O. Ermakova
Published in:
PNSE @ Petri Nets (2016)
Keyphrases
</>
petri net
petri net model
colored petri nets
concurrent systems
manufacturing systems
discrete event systems
high level petri nets
service composition
model checking
fuzzy petri net
ims ld
process model
stochastic petri net
state machines
computational intelligence
discrete dynamical systems
decision making