Solving the Petri-Nets to Statecharts Transformation Case with FunnyQT.

Published in: TTC (2013)

Keyphrases

petri net
petri net model
sequence diagrams
reactive systems
state machines
manufacturing systems
colored petri nets
discrete event systems
ims ld
service composition
concurrent systems
stochastic petri net
cellular automata
fuzzy petri net
discrete dynamical systems
programmable logic controller
process model