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

K. Lano; S. Kolahdouz-Rahimi; K. Maroukian

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

About

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.

K. Lano, S. Kolahdouz-Rahimi, K. Maroukian · 2013

Related benchmarks

No related benchmarks have been indexed for this paper yet.