A general translation from nested Petri nets into PROMELA.

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

Published in: CoRR (2014)

Keyphrases

petri net
petri net model
high level petri nets
discrete event systems
manufacturing systems
state machines
service composition
fuzzy petri net
stochastic petri net
genetic algorithm
process model
ims ld
concurrent systems