Verification of Petri Nets with Read Arcs.

César Rodríguez Stefan Schwoon

Published in: CONCUR (2012)

Keyphrases

petri net
petri net model
colored petri nets
concurrent systems
high level petri nets
discrete event systems
manufacturing systems
model checking
service composition
web services
stochastic petri net
process model
artificial intelligence
ims ld
formal methods
production system
discrete dynamical systems