# 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/en/paper/1312.0352v1/

## Key points

- Paper titled "Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS"
- Presents a solution for transforming Petri-Nets to statecharts using UML-RSDS
- Authors: K. Lano, S. Kolahdouz-Rahimi, and K. Maroukian from King's College London
- Transformation achieved in a highly declarative manner that is both confluent and invertible
- Petri-Nets and statecharts are widely used formalisms for modeling concurrent systems
- Need to convert Petri-Nets into statecharts or vice versa for analysis or implementation purposes
- Focuses on transformation from Petri-Nets to statecharts
- Proposes use of UML-RSDS as an effective approach for this transformation
- UML-RSDS provides a declarative way of specifying requirements and precise modeling of system behavior
- Key contribution is the development of a highly declarative solution ensuring confluence and invertibility
- Examples provided to validate the approach, demonstrating effectiveness in converting various types of Petri-Nets into equivalent statechart representations
- Discusses advantages and limitations compared to existing methods
- Offers a valuable tool for system analysts and designers working with concurrent systems modeled using different formalisms

## Summary

This paper, titled "Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS," presents a solution to the problem of transforming Petri-Nets to statecharts using UML-RSDS. The authors, K. Lano, S. Kolahdouz-Rahimi, and K. Maroukian from King's College London, demonstrate how this transformation can be achieved in a highly declarative manner that is both confluent and invertible. Petri-Nets and statecharts are widely used formalisms for modeling concurrent systems. However, there is often a need to convert Petri-Nets into statecharts or vice versa in order to analyze or implement these systems using different tools or frameworks. This paper focuses on the transformation from Petri-Nets to statecharts. The authors propose the use of UML-RSDS (UML-based Requirements Specification Description Language) as an effective approach for this transformation. UML-RSDS provides a declarative way of specifying requirements and allows for precise modeling of system behavior. The key contribution of this paper is the development of a highly declarative solution for transforming Petri-Nets to statecharts using UML-RSDS. The proposed solution ensures confluence and invertibility, meaning that it guarantees unique results and allows for reverse transformations as well. To validate their approach, the authors provide examples and demonstrate the effectiveness of their solution in converting various types of Petri-Nets into equivalent statechart representations. They also discuss the advantages and limitations of their approach compared to existing methods. In conclusion, this paper presents a novel solution for transforming Petri-Nets to statecharts using UML-RSDS. The proposed approach offers a highly declarative and reliable method that ensures confluence and invertibility. This work contributes to the field by providing a valuable tool for system analysts and designers working with concurrent systems modeled using different formalisms.