Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS.

Kevin Lano Shekoufeh Kolahdouz Rahimi Krikor Maroukian

Published in: TTC (2013)

Keyphrases

petri net
sequence diagrams
class diagrams
uml models
state machines
manufacturing systems
petri net model
discrete event systems
fuzzy petri net
colored petri nets
reactive systems
conceptual modeling
concurrent systems
service composition
process model
formal methods