Adapting Petri Nets Reductions to Promela Specifications.

Christophe Pajault Jean-François Pradat-Peyre Pierre Rousseau

Published in: FORTE (2008)

Keyphrases

petri net
concurrent systems
reactive systems
state machines
embedded real time systems
discrete event systems
petri net model
manufacturing systems
fuzzy petri net
ims ld
colored petri nets
service composition
stochastic petri net
sequence diagrams
control flow
data analysis
fuzzy logic