Abstract
In this chapter we study Time Petri nets: After the introduction of this kind of time-dependent Petri net, we will discuss variations of the rules defining the possible state changes. We then show how to reduce the state space of an arbitrary Time Petri net to a discrete one and use this to study the dynamic behavior of these time-dependent Petri nets under both qualitative and quantitative aspects.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Popova-Zeugmann, L. (2013). Time Petri Nets. In: Time and Petri Nets. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41115-1_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-41115-1_3
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-41114-4
Online ISBN: 978-3-642-41115-1
eBook Packages: Computer ScienceComputer Science (R0)