Title :
Multiple enabledness of transitions in Petri nets with time
Author :
Boyer, Marc ; Diaz, Michel
Author_Institution :
Lab. d´´Autom. et d´´Anal. des Syst., CNRS, Toulouse, France
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 actually implies some subtle underlying semantic choices. As an example, a complete semantics for Merlin´s (1974) time Petri nets is defined, based on the threshold notion
Keywords :
Petri nets; Petri nets; multiple enabled transitions; semantics; system design; time Petri nets; timed nets; Fires; Petri nets; Stochastic processes; Stochastic systems; Time factors;
Conference_Titel :
Petri Nets and Performance Models, 2001. Proceedings. 9th International Workshop on
Conference_Location :
Aachen
Print_ISBN :
0-7695-1248-8
DOI :
10.1109/PNPM.2001.953371
