On Testing 1-Safe Petri Nets.

Guy-Vincent Jourdan Gregor von Bochmann

Published in: TASE (2009)

Keyphrases

petri net
discrete event systems
manufacturing systems
petri net model
high level petri nets
state machines
ims ld
colored petri nets
service composition
fuzzy petri net
web services
concurrent systems
stochastic petri net
sequence diagrams
discrete dynamical systems
neural network
decision making