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.
Supported by the ED TMR project ALAPEDES, Contract ERB-FMRX-CT-96-0074
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
F. Baccelli, S. Foss, B. Gaujal. Free-Choice Petri Nets — An Algebraic Approach. IEEE Tr. Aut. Contr., 41(12):1751–1778, 1996.
F. Bause and P.S. Kritzinger, Stochastic Petri Nets, An introduction to the Theory. Verlag Vieweg, 1996.
B. Gaujal and S. Haar. Non-ambiguous Petri Nets. Rapport de Recherche 3691, INRIA, U.R.Lorraine, May 1999.
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.
R. German and C. Lindemann. Analysis of Stochastic Petri Nets by the Method of Supplementary Variables. Performance Evaluation, Vol. 20, pp. 317–335, 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer Science+Business Media New York
About this chapter
Cite this chapter
Gaujal, B., Haar, S. (2000). A Limit Semantics for Timed PN. In: Boel, R., Stremersch, G. (eds) Discrete Event Systems. The Springer International Series in Engineering and Computer Science, vol 569. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-4493-7_22
Download citation
DOI: https://doi.org/10.1007/978-1-4615-4493-7_22
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-7025-3
Online ISBN: 978-1-4615-4493-7
eBook Packages: Springer Book Archive