Title :
Stochastic Petri nets: accomplishments and open problems
Author_Institution :
Dipartimento di Inf., Torino Univ., Italy
Abstract :
Generalized stochastic Petri nets are briefly introduced and the work performed since the time of their proposal, to improve their modelling capabilities is surveyed according to three directions of research. The open problems that still need to be solved do make this formalism useful for the analysis of real systems are discussed and some directions of future research are suggested
Keywords :
Petri nets; reachability analysis; stochastic processes; arbitrary firing time distributions; modelling capabilities; open problems; probabilistic representation; reachability graphs; reliability analyses; steady state solutions; stochastic Petri nets; Concurrent computing; Delay effects; Fires; Petri nets; Power system modeling; Power system reliability; Proposals; Random variables; Stochastic processes; Timing;
Conference_Titel :
Computer Performance and Dependability Symposium, 1995. Proceedings., International
Conference_Location :
Erlangen
Print_ISBN :
0-8186-7059-2
DOI :
10.1109/IPDS.1995.395817