By Topic

Discrete time approach of time Petri nets for real-time systems analysis

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
$33 $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)
O. H. Roux ; IRCCyN- UMR, CNRS, Nantes, France ; D. Delfieu ; P. Molinaro

In order to establish the temporal properties of real-time systems, we consider the timed Petri net (TPN) model. First, we prove that properties like the minimal (or maximal) firing time and the minimal (or maximal) time interval between the firing of two transitions can be established with a discrete analysis of a TPN. Then we propose to express the entire discrete execution sequence of the TPN by an automaton which considers the discrete passing of time as the occurrence of a dedicated event. The advantage is that this automaton can be efficiently analysed by using binary decision diagrams (BDDs). We have implemented every step of this approach.

Published in:

Emerging Technologies and Factory Automation, 2001. Proceedings. 2001 8th IEEE International Conference on  (Volume:2 )

Date of Conference:

15-18 Oct. 2001