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
Keywords :
Delay effects; Educational institutions; Logic; Petri nets; State-space methods; Steady-state; Stochastic processes; Stochastic systems; Time measurement; Voting;
Conference_Titel :
Petri Nets and Performance Models, 2003. Proceedings. 10th International Workshop on
Print_ISBN :
0-7695-1976-8
DOI :
10.1109/PNPM.2003.1231543