On the Use of SPIN for Studying the Behavior of Nested Petri Nets.

Mirtha Lina Fernández Venero Flávio Soares Corrêa da Silva

Published in: SBMF (2013)

Keyphrases

petri net
petri net model
high level petri nets
discrete event systems
manufacturing systems
colored petri nets
ims ld
fuzzy petri net
service composition
stochastic petri net
state machines
neural network
genetic algorithm
process model
dynamic behaviors