Petri Nets and Bisimulation.

Mogens Nielsen Glynn Winskel

Published in: Theor. Comput. Sci. (1996)

Keyphrases

petri net
manufacturing systems
petri net model
high level petri nets
fuzzy petri net
discrete event systems
ims ld
state machines
colored petri nets
service composition
sequence diagrams
concurrent systems
neural network
simulation model