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

Source: [Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS](<https://www.sota2.com/research/paper/68fa612c1e209131ce9f2fed>)

Collection index: [llms.txt](<https://www.sota2.com/research/llms.txt>)

Data updated: 2025-10-25T19:54:34.816Z

Authors: K. Lano, S. Kolahdouz-Rahimi, K. Maroukian

Published: 2013-12-02T07:01:06.000Z

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

## Recorded benchmark results

A research result applies to its stated dataset, split, metric and evaluation configuration. Compare like-for-like settings, preserve the metric's unit and direction, and distinguish paper-reported results from independent reproduction. The best result recorded here is not a claim of exhaustive, current global coverage.

## Original sources and implementation

[Original paper](<https://arxiv.org/abs/1312.0352>)

[PDF](<https://arxiv.org/pdf/1312.0352.pdf>)