by Falko Bause, Informatik Iv
http://ls4-www.informatik.uni-dortmund.de/QM/MA/fb/publication_ps_files/1994_EQ_GSPNs.ps.gz
Add To MetaCart
Abstract:
Abstract. Generalized Stochastic Petri nets (GSPNs) comprise two types of transitions: timed and immediate. Since firing of immediate transitions has priority on firing of timed transitions several properties of the underlying Petri net need not be valid for the GSPN. This article proves that liveness and the existence of home states of equal conflict nets, a generalisation of extended free choice nets, carry over to the time-augmented net iff conflicting transitions are either timed or immediate. This implies the existence of the steady state distribution of the corresponding Markov process for bounded nets. Topics:-- Analysis and synthesis, structure and behaviour of nets-- Timed and stochastic nets
Citations
|
104
|
Performance Models of Multiprocessor Systems
– Ajmone-Marsan, Balbo, et al.
- 1986
|
|
41
|
Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications
– Chiola, Marsan, et al.
- 1993
|
|
38
|
On the integration of delay and throughput measures in distributed processing models
– Molloy
- 1981
|
|
37
|
Structure theory of petri nets: The free choice hiatus. In: Brauer et al
– Best
- 1987
|
|
25
|
On the product form solution for stochastic Petri nets
– Donatelli, Sereno
- 1992
|
|
21
|
Queueing Petri nets: A formalism for the combined qualitative and quantitative analysis of systems
– Bause
- 1993
|
|
19
|
A class of Generalized Stochastic Petri Nets for the performance evaluation of multiprocessor systems
– Ajmone-Marsan, Balbo, et al.
- 1984
|
|
11
|
An efficient polynomial-time algorithm to decide liveness and boundedness of free-choice nets
– Kemper, Bause
- 1992
|
|
10
|
Free choice systems have home states
– Best, Voss
- 1984
|
|
7
|
Les Reseaux de Petri Stochastiques et leur Application a 1'Evaluation des Systkmes Informatiques", Thkse de Docteur Ingegneur
– Natkin
- 1980
|
|
7
|
Petri Nets and the Modelling of Systems
– Peterson
- 1981
|
|
7
|
Reduced systems in markov chains and their applications in queueing theory
– Lal, Bhat
- 1987
|
|
7
|
Liveness and Home States in Equal Conflict Systems
– Teruel, Silva
- 1993
|
|
5
|
Traps characterize home states in free choice systems
– Best, Desel, et al.
- 1992
|
|
5
|
Live and bounded free choice nets have home states
– Vogler
- 1989
|
|
4
|
Some classes of live and safe Petri nets
– Best
- 1987
|
|
2
|
Zur funktionalen Analyse zeitbehafteter Petri-Netze unter besonderer Berucksichtigung elementarer Voraussetzungen fur eine quantitative Analyse
– Bause
- 1991
|
|
1
|
Introduction to Stochastic Processes
– Cinlair
- 1975
|
|
1
|
Some comments on timed Petri nets
– Ghosh
- 1977
|
