Title :
A state equation for Petri nets with delaying places
Author :
Werner, Matthias ; Mühl, Gero
Author_Institution :
Commun. & Oper. Syst. Group, Berlin Univ. of Technol.
Abstract :
There exist several ways to augment Petri nets with time. The most popular approach is to assign times to transitions as time Petri nets (Merlin, 1974) or timed Petri nets (Ramchandani, 1974) do. It is, however, also possible to augment places, edges, or tokens of a Petri net with time. Within this paper we consider Petri nets with time augmented places as introduced in Coolahan and Roussopoulos (1983) which we call Petri nets with delaying places (PNDP). We present an approach that allows non-reachability to be proved in PNDP´s using a state equation. Due to a lack of space, we only present our main results
Keywords :
Petri nets; Petri nets; nonreachability proof; state equation; time augmented places; Delay effects; Equations; Fires; Operating systems; Paper technology; Petri nets;
Conference_Titel :
Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on
Conference_Location :
Potsdam
Print_ISBN :
0-7695-2546-6
DOI :
10.1109/ECBS.2006.16
