Verifying SDL programs using Petri nets.

Published in: SMC (1998)

Keyphrases

petri net
manufacturing systems
petri net model
discrete event systems
state machines
fuzzy petri net
high level petri nets
process model
stochastic petri net
ims ld
colored petri nets
service composition
sequence diagrams
discrete dynamical systems
rough sets
model checking