Verification of Siphons and Traps for Algebraic Petri Nets.

Karsten Schmidt

Published in: ICATPN (1997)

Keyphrases

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