loading...
On Performance Bounds for Interval Time Petri Nets
Enschede, the Netherlands September 27-September 30
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/QEST.2004.10012The Quantitative Evaluation of System ...
 This Article 
 
PDF
HTML
IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Simona Bernardi, Universit? di Torino, Italy
Javier Campos, Universidad de Zaragoza, Spain
Interval time Petri Nets are Petri nets in which time intervals are associated to transitions. Their quantitative analysis basically consists in applying enumerative techniques that suffer the well known state space explosion problem. To overcome this problem several methods have been proposed in the literature, that either allow to obtain equivalent nets with a reduced state space or avoid the construction of the whole state space. The alternative method proposed here consists in computing performance bounds to partially characterize the quantitative behavior of interval time Petri Nets by exploiting their structural properties and/or by applying operational laws. The performance bound computation is not a new technique: it has been proposed for timed Petri nets. In this paper we present the results obtained from a preliminary investigation on the applicability of bounding techniques of timed Petri nets to interval time Petri Nets.
Citation:
Simona Bernardi, Javier Campos, "On Performance Bounds for Interval Time Petri Nets," qest, pp.50-59, The Quantitative Evaluation of Systems, First International Conference on (QEST'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.