SEDec 2, 2013
Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDSK. Lano, S. Kolahdouz-Rahimi, K. Maroukian
This paper provides a solution to the Petri-Nets to statecharts case using UML-RSDS. We show how a highly declarative solution which is confluent and invertible can be given using this approach.