Verification of Timed-Arc Petri Nets.

Lasse Jacobsen Morten Jacobsen Mikael H. Møller Jirí Srba

Published in: SOFSEM (2011)

Keyphrases

petri net
petri net model
colored petri nets
concurrent systems
manufacturing systems
high level petri nets
discrete event systems
service composition
fuzzy petri net
model checking
ims ld
discrete dynamical systems
state machines
stochastic petri net
sequence diagrams
fuzzy logic
knowledge acquisition