K. Lano (King's College London) |
S. Kolahdouz-Rahimi (King's College London) |
K. Maroukian (King's College London) |
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. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.135.13 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |