Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS
arXiv:1312.0352 · doi:10.4204/EPTCS.135.13
Abstract
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.
In Proceedings TTC 2013, arXiv:1311.7536