Acceleration For Presburger Petri Nets.

Jérôme Leroux

Published in: VPT@CAV (2013)

Keyphrases

petri net
manufacturing systems
petri net model
discrete event systems
high level petri nets
state machines
colored petri nets
process model
service composition
concurrent systems
discrete dynamical systems
fuzzy petri net
temporal logic
ims ld
control system
expert systems
stochastic petri net
decision making