| A. Bobbio, A. Puliafito, M. Telek and K. Trivedi, "Recent Developments in Non-Markovian Stochastic Petri Nets," Journal of Systems Circuits and Computers, 8(1):119-158, 1998. |
.... [17,11] and considering that the action times are random variables, one reaches the notion of randomly timed automata, as considered for example in [9] By endowing Petri nets with random transition times, one ends up with the related notion of stochastic Petri nets, as considered for example in [14,19,8]. 1 Partially supported by Funda c ao para a Ci encia e a Tecnologia, the PRAXIS XXI Projects PRAXIS P MAT 10002 1998 ProbLog and 2 2.1 TIT 1658 95 LogComp, as well as by the ESPRIT IV Working Groups 22704 ASPIRE and 23531 FIREworks. 2 Partially supported by Funda c ao para a Ci encia e a ....
....minimization, aggregation and interconnection, encapsulation, realization (obtaining the stochastic point process of runs) The required notion of randomly timed automaton should be as general as possible in order to be able to support di erent execution policies. Di erent policies are studied in [19,8] for the case of stochastic Petri nets, but their usefulness extends to randomly timed automata as well. Following the style of [16,13,5,1,15,6,2,29,26] proposed for classical automata, we adopt a categorial approach to the development of the theory of randomly timed automata. However, ....
[Article contains additional citation context not shown here]
A. Bobbio, A. Puliato, M. Telek, and K. Trivedi. Recent developments in nonMarkovian stochastic Petri nets. Journal of Systems Circuits and Computers, 8(1):119-158, 1998.
No context found.
A. Bobbio, A. Puliafito, M. Telek, and K. Trivedi. Recent developments in nonMarkovian stochastic Petri nets. Journal of Systems Circuits and Computers, 8(1):119--158, Feb 1998.
....generally distributed random variable, and the meaning and the evaluation of the throughput measures are more complex than in the Markovian SPN models. A very elegant and unifying way to define and to compute both kinds of performance measures in discrete SPNs is by means of the concept of reward [4, 8]. In FSPN, the flow rate assigned to a continuous arc may, as well, be interpreted as a reward rate that can be dependent on the discrete and the continuous component of the marking. In this view, fluid places are structural elements whose fluid level represents the accumulation of the reward as a ....
.... like those generated from Discrete SPNs, the reward measures that can be evaluated at the same cost of the solution of the standard Markov equation, are the expected instantaneous reward measures (either at a given time instant or in steady state) or the expected accumulated reward measures [4]. The majority of the packages dealing with SPNs restricts the evaluation of significant measures to the expected reward measures mentioned above. 5 The evaluation of the cdf of the reward accumulated over a finite time interval requires a considerable increase in the computational effort and is ....
A. Bobbio, A. Puliafito, M. Telek, and K. S. Trivedi. Recent Developments in Non-Markovian Stochastic Petri Nets. Journal of Systems Circuits and Computers, 8(1):119--158, Feb 1998.
No context found.
A. Bobbio, A. Puliafito, M. Telek and K. Trivedi, "Recent Developments in Non-Markovian Stochastic Petri Nets," Journal of Systems Circuits and Computers, 8(1):119-158, 1998.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC