Electronic Proceedings in Theoretical Computer Science (Nov 2013)

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

  • K. Lano,
  • S. Kolahdouz-Rahimi,
  • K. Maroukian

DOI
https://doi.org/10.4204/EPTCS.135.13
Journal volume & issue
Vol. 135, no. Proc. TTC 2013
pp. 101 – 105

Abstract

Read online

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.