By Topic

Using stochastic timed Petri nets for modeling and analysing an industrial application based on FIP fieldbus

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

3 Author(s)
Berge, N. ; Lab. d''Autom. et d''Anal. des Syst., CNRS, Toulouse, France ; Juanole, G. ; Samaan, M.

We consider the electric power distribution systems and study the transformer station (TS) control which is a key part to ensure quality and continuity of service to customers. Faults which appear on the electric lines must be controlled and for this purpose the mechanism called logical selectivity has been defined. The system implementing this mechanism is a distributed real time system based on FIP fieldbus. We model this system by using stochastic timed Petri nets and we verify in particular, the influence of the message broadcasting period on the correctness of the logical selectivity mechanism

Published in:

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

Date of Conference:

10-13 Oct 1995