Timed Continuous Petri Nets

The basic model is an autonomous continuous PN, as defined in Chapter 4, plus a maximal speed associated with every transition. Firing of a transition is continuous, like a flow limited by the maximal speed. For the models considered in this chapter, the maximal speeds do not depend on the marking.