In: Proceedings of 9th International Workshop on Petri Nets and Performance Models, PNPM'01 Aachen, Sept. 11-14, 2001, Reinhard German and Boudewijn Haverkort (eds.), IEEE, pages 219-228. 2001.
Abstract: This paper discusses and formalises the benefits of using multiple enabled transitions for extensions of Petri nets having quantitative notions of time. It also points out that what could be thought as a straightforward extension actuallly implies some subtle underlying semantic choices. As an example, a complete semantics for Merlin's time Petri nets is defined, based on the threshold notion.
Keywords: timed nets; system design using nets.