DocumentCode :
2068999
Title :
Performance queries on semi-Markov stochastic Petri nets with an extended continuous stochastic logic
Author :
Bradley, Jeremy T. ; Dingle, Nicholas J. ; Harrison, Peter G. ; Knottenbelt, William J.
Author_Institution :
Imperial College London
fYear :
2003
fDate :
2-5 Sept 2003
Firstpage :
62
Lastpage :
71
Keywords :
Delay effects; Educational institutions; Logic; Petri nets; State-space methods; Steady-state; Stochastic processes; Stochastic systems; Time measurement; Voting;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Petri Nets and Performance Models, 2003. Proceedings. 10th International Workshop on
ISSN :
1063-6714
Print_ISBN :
0-7695-1976-8
Type :
conf
DOI :
10.1109/PNPM.2003.1231543
Filename :
1231543
Link To Document :
بازگشت