Title :
Transformations between different model forms in discrete event systems
Author :
Rausch, M. ; Krogh, B.
Author_Institution :
Dept. of Electr. & Comput. Eng., Carnegie Mellon Univ., Pittsburgh, PA, USA
Abstract :
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
Keywords :
Petri nets; discrete event systems; finite state machines; manufacturing data processing; production control; programmable controllers; PLC languages; Petri nets; Statecharts; discrete event systems; model forms; model transformations; net condition event systems; state machine; Analytical models; Automata; Discrete event systems; Electronic mail; IEC standards; Logic; Mathematical model; Petri nets; Programmable control; Relays;
Conference_Titel :
Systems, Man, and Cybernetics, 1997. Computational Cybernetics and Simulation., 1997 IEEE International Conference on
Conference_Location :
Orlando, FL
Print_ISBN :
0-7803-4053-1
DOI :
10.1109/ICSMC.1997.635396
