DocumentCode
3424046
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.
fYear
2006
fDate
27-30 March 2006
Lastpage
502
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ECBS.2006.16
Filename
1607411
Link To Document