From Petri Nets with Shared Variables to ITL.

Hanna Klaudel Maciej Koutny Ben C. Moszkowski

Published in: ACSD (2016)

Keyphrases

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