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
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