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

**Authors:** K. Lano, S. Kolahdouz-Rahimi, K. Maroukian  
**arXiv:** [1312.0352](https://arxiv.org/abs/1312.0352)  
**Date:** 2013-12-02  
**Summary page:** https://www.summarizepaper.com/fr/paper/1312.0352v1/

## 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.