Petri nets with time

In previous chapters, Place/Transition nets have been used to model Discrete Event Systems with the aim of analyzing logical properties. However, such a model is not suitable for performance analysis because it does not keep into account the duration of the activities occurring in a system. Several extensions have been presented in the literature to address this issue, enriching the basic P/T net model with different temporal metrics and semantics. In this chapter we discuss the most common and significant ones