A. Bobbio and A. Horvath. Petri nets with discrete phase type timing: A bridge between stochastic and functional analysis. Electronic Notes in Theoretical Comp. Science, 52(3), 2001. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
The Scale Factor: A New Degree of Freedom in Phase Type.. - Bobbio, Horvath, Telek (2003) Self-citation (Bobbio Horvath) (Correct)
No context found.
A. Bobbio and A. Horvath. Petri nets with discrete phase type timing: A bridge between stochastic and functional analysis. Electronic Notes in Theoretical Computer Science, 52(3), 2001.
The Scale Factor: A New Degree of Freedom in Phase Type.. - Andrea Bobbio Dista Self-citation (Bobbio Horvath) (Correct)
No context found.
A. Bobbio and A. Horvath. Petri nets with discrete phase type timing: A bridge between stochastic and functional analysis. Electronic Notes in Theoretical Computer Science, 52(3), 2001.
The Scale Factor: A New Degree of Freedom in Phase Type.. - Bobbio, Horvath, Telek Self-citation (Bobbio Horvath) (Correct)
....a more convenient alternative with respect to CPH approximation, and also to provide a way to quantitatively support this choice. Furthermore, the use of DPH approximation can be extended from stochastic models to functional analysis where time intervals with nondeterministic choice are considered [3]. Finally, discretization techniques for continuous problems [8] can be restated in terms of DPH approximations. The rest of the paper is organized as follows. After defining the notation to be used in the paper in Section 2, Section 3 discusses the peculiar properties of the DPH class with ....
.... also that DPH approximation can be of importance when preserving reachability properties is crucial (like in modeling time critical systems) and, hence, DPH approximation can be seen as a bridge between the world of stochastic modeling and the world of functional analysis and model checking [3]. 6 Concluding remarks The main result of this paper has been to show that the DPH and CPH classes of distributions of the same order can be considered a single model set as a function of a scale factor . The optimal value of , opt , determines the best distribution in a fitting experiment. ....
A. Bobbio and A. Horvath. Petri nets with discrete phase type timing: A bridge between stochastic and functional analysis. Electronic Notes in Theoretical Computer Science, 52(3), 2001.
Model Checking Time Petri Nets using NuSMV - Bobbio, Horvath (2001) Self-citation (Bobbio Horv'ath) (Correct)
.... Checking Time Petri Nets using NuSMV Andrea Bobbio [1] , Andr as Horv ath [2] 1] DISTA, Universit a del Piemonte Orientale, Alessandria, Italy [2] Dipartimento di Informatica, Universit a di Torino, Italy bobbio di.unito.it, horvath di.unito.it Abstract Time Petri Nets (TPN) are Petri Net based models augmented with timing information by ....
.... Checking Time Petri Nets using NuSMV Andrea Bobbio [1] Andr as Horv ath [2] [1] DISTA, Universit a del Piemonte Orientale, Alessandria, Italy [2] Dipartimento di Informatica, Universit a di Torino, Italy bobbio di.unito.it, horvath di.unito.it Abstract Time Petri Nets (TPN) are Petri Net based models augmented with timing information by associating an interval to each ....
[Article contains additional citation context not shown here]
A. Bobbio and A. Horv'ath. Petri nets with discrete phase type timing: A bridge between stochastic and functional analysis. In Proc. of MTCS'01, Aalborg, Denmark, Aug. 2001. To appear in Electronic Notes in Theoretical Computer Science.
A Discrete Time Model for Performance Evaluation and.. - Bucci, Sassoli, Vicario (Correct)
No context found.
A. Bobbio and A. Horvath. Petri nets with discrete phase type timing: A bridge between stochastic and functional analysis. Electronic Notes in Theoretical Comp. Science, 52(3), 2001.
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