The petri-nets to statecharts transformation case

P.M.E. Van Gorp, L.M. Rose

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review


This paper describes a case study for the sixth Transformation Tool Contest. The case is based on a mapping from Petri-Nets to statecharts (i.e., from ¿at process models to hierarchical ones). The case description separates a simple mapping phase from a phase that involves the step by step destruction Petri-Net elements and the corresponding construction of a hierarchy of statechart elements. Although the focus of this case study is on the comparison of the runtime performance of solutions, we also include correctness tests as well as bonus criteria for evaluating transformation language and tool features.
Original languageEnglish
Title of host publicationProceedings of the Sixth Transformation Tool Contest (TTC 2013)
EditorsP.M.E Van Gorp, L.M. Rose, C. Krause
Place of PublicationBudapest, Hungary
Publication statusPublished - 2013
Eventconference; TTC 2013; 2013-06-19; 2013-06-20 -
Duration: 19 Jun 201320 Jun 2013

Publication series

NameElectronic Proceedings in Theoretical Computer Science
ISSN (Print)2075-2180


Conferenceconference; TTC 2013; 2013-06-19; 2013-06-20
OtherTTC 2013


Dive into the research topics of 'The petri-nets to statecharts transformation case'. Together they form a unique fingerprint.

Cite this