For the most recent entries see the Petri Nets Newsletter.

Multiple Enabledness of Transitions in Petri Nets with Time.

Boyer, M.; Diaz., M.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography