The Petri-Nets to Statecharts Transformation Case.

Pieter Van Gorp Louis M. Rose

Published in: TTC (2013)

Keyphrases

petri net
sequence diagrams
petri net model
reactive systems
manufacturing systems
discrete event systems
colored petri nets
state machines
process model
stochastic petri net
hardware and software
ims ld
programmable logic controller
fuzzy petri net
computational intelligence
service composition