By Topic

Control and performances evaluation of time dependent systems using an enumerative approach

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

1 Author(s)
Bonhomme, P. ; Lab. d''lnformatique, Univ. Francois-Rabelais de Tours

Petri nets are a powerful formalism for the specification and verification of concurrent systems, such as sequential systems and manufacturing systems. To deal with systems whose time issues become essential, different extensions of Petri nets with time have been proposed in the literature, each one being dependent on the application considered. In this paper, a new enumerative analysis technique for P-time Petri nets is proposed. It consists of simple operations on time intervals and does not require complex computations contrary to the other methods, dealing with time critical systems, which can be found in the literature. Moreover a control approach is also derived

Published in:

Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control, 2006 IEEE

Date of Conference:

4-6 Oct. 2006