Modular functional modelling of Petri nets with individual tokems

Manfred Broy Thomas Streicher

Published in: Forschungsberichte, TU Munich (1990)

Keyphrases

petri net
high level petri nets
petri net model
manufacturing systems
discrete event systems
ims ld
fuzzy petri net
process model
state machines
colored petri nets
discrete dynamical systems
service composition
sequence diagrams
concurrent systems
high dimensional