By Topic

Petri nets, FCCS, and synchronous languages to specify discrete events systems: a comparative synthesis on validation power

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
El Rhalibi, A. ; LIRMM, Univ. des Sci. et Tech. du Languedoc, Montpellier, France ; Crestani, D. ; Prunet, F. ; Durante, C.

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

Published in:

Emerging Technologies and Factory Automation, 1995. ETFA '95, Proceedings., 1995 INRIA/IEEE Symposium on  (Volume:2 )

Date of Conference:

10-13 Oct 1995