Translating Synchronous Petri Nets into PROMELA for Verifying Behavioural Properties.

Óscar R. Ribeiro João M. Fernandes

Published in: SIES (2007)

Keyphrases

petri net
manufacturing systems
discrete event systems
petri net model
high level petri nets
state machines
fuzzy petri net
colored petri nets
service composition
ims ld
data analysis
computational intelligence
process model
concurrent systems
stochastic petri net