loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Sixth International Conference on Application of Concurrency to System Design (ACSD'06)
Schedulability Analysis of Petri Nets Based on Structural Properties
Turku, Finland
June 28-June 30
ISBN: 0-7695-2556-3
Cong Liu, University of California, Berkeley
Alex Kondratyev, Cadence Berkeley Labs Berkeley, CA
Yosinori Watanabe, Cadence Berkeley Labs Berkeley, CA
Alberto Sangiovanni-Vincentelli, University of California, Berkeley
Jorg Desel, Katholische Universitat Eichstatt-Ingolstadt, Germany
A schedule of a Petri Net (PN) represents a set of firing sequences that can be infinitely repeated within a bounded state space, regardless of the outcomes of the nondeterministic choices. Schedulability analysis for a given PN answers the question whether a schedule exists in the reachability space of this net. This paper suggests a novel approach for schedulability analysis based solely on PN structure. It shows that unschedulability can be caused by a structural relation among transitions modelling nondeterministic choices. A method based on linear programming for checking this relation is proposed. This paper also presents a necessary condition for schedulability based on the rank of the incidence matrix of the underlying PN. These results shed a light on the sources of unschedulability often found in PN models of embedded multimedia systems.
Citation:
Cong Liu, Alex Kondratyev, Yosinori Watanabe, Alberto Sangiovanni-Vincentelli, Jorg Desel, "Schedulability Analysis of Petri Nets Based on Structural Properties," acsd, pp.69-78, Sixth International Conference on Application of Concurrency to System Design (ACSD'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.