Petri-Nets到Statecharts的转换案例
The Petri-Nets to Statecharts Transformation Case
摘要：
本文介绍了第六届转换工具竞赛的案例研究。这种情况是基于从Petri网到状态图的映射（即，从平面过程模型到分层过程模型）。案例描述将一个简单的映射阶段与一个涉及逐步销毁Petri-Net元素和相应的状态图元素层次结构的构建的阶段分开。虽然本案例研究的重点是解决方案的运行时性能比较，但我们也包括正确性测试以及评估转换语言和工具功能的奖励标准。
英文摘要：
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 flat 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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
