Discrete Event Systems pp 219-226 | Cite as
A Limit Semantics for Timed PN
Chapter
Abstract
In this paper, we investigate conditions for non-ambiguous behavior of a timed Petri net which also contains immediate transitions. Non-ambiguity here means that the net behavior is uniquely determined by some given set of control parameters. For this, we study the limit policy in which immediate transitions are treated as (“limits” of) timed transitions whose durations tend uniformly to 0, yielding a unique semantics; we give conditions under which this limit semantics exists.
Keywords
Timed Petri nets priorities Routing Semantics NondeterminismPreview
Unable to display preview. Download preview PDF.
References
- [BFS96]F. Baccelli, S. Foss, B. Gaujal. Free-Choice Petri Nets — An Algebraic Approach. IEEE Tr. Aut. Contr., 41(12):1751–1778, 1996.MathSciNetMATHCrossRefGoogle Scholar
- [BK96]F. Bause and P.S. Kritzinger, Stochastic Petri Nets, An introduction to the Theory. Verlag Vieweg, 1996.Google Scholar
- [GH99]B. Gaujal and S. Haar. Non-ambiguous Petri Nets. Rapport de Recherche 3691, INRIA, U.R.Lorraine, May 1999.Google Scholar
- [GJS98]B. Gaujal, A. Jean-Marie and G. Siegel. Non-ambiguous Petri nets and their application to the modeling of ATM switches. WODES, Cagliari, Italy, 1998.Google Scholar
- [GL94]R. German and C. Lindemann. Analysis of Stochastic Petri Nets by the Method of Supplementary Variables. Performance Evaluation, Vol. 20, pp. 317–335, 1994.MathSciNetGoogle Scholar
Copyright information
© Springer Science+Business Media New York 2000