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

Volume

2

fYear

1995

fDate

10-13 Oct 1995

Firstpage

299

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ETFA.1995.496671

Filename

496671