Transformations between different model forms in discrete event systems
Mathias Rausch, Bruce H. Krogh · 2002
This paper describes transformations between the model forms of net condition event systems, Statecharts and PLC languages. Some restrictions exist so the transformations are not in every case possible or useful. A framework for design through implementation is described, where the model transformations are applied to analyze and verify the correctness of the models.