Title :
Petri nets, FCCS, and synchronous languages to specify discrete events systems: a comparative synthesis on validation power
Author :
El Rhalibi, A. ; Crestani, D. ; Prunet, F. ; Durante, C.
Author_Institution :
LIRMM, Univ. des Sci. et Tech. du Languedoc, Montpellier, France
Abstract :
A comparative synthesis on the formal specification and validation models is presented: Petri nets, FCCS (functional charts for control systems) and synchronous languages (Lustre, Signal, Esterel, Argos and the Statecharts). The Petri nets and the FCCS are convenient models to describe the behaviour of control systems, while the synchronous languages are dedicated to real-time systems programming. The interest and deficiency of each model is discussed. Finally we present the main methods of validation for those models, and discuss the use of Petri nets and the synchronous languages for the validation of the FCCS model
Keywords :
Petri nets; automata theory; discrete event systems; formal languages; formal specification; formal verification; industrial control; program verification; real-time systems; Petri nets; automata theory; discrete events systems; formal specification; functional charts for control systems; industrial control; real-time systems programming; synchronous languages; validation models; Automata; Context modeling; Control system synthesis; Discrete event systems; Formal specifications; Petri nets; Power system modeling; Programming; Real time systems; Robotics and automation;
Conference_Titel :
Emerging Technologies and Factory Automation, 1995. ETFA '95, Proceedings., 1995 INRIA/IEEE Symposium on
Conference_Location :
Paris
Print_ISBN :
0-7803-2535-4
DOI :
10.1109/ETFA.1995.496671
