Andrea Bobbio, Andras Horvath  Home/Search
Context Related
| webspn.hit.bme.hu/~horv...BoHo01a.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: webspn.hit.bme.hu/~horvath/pub... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The addition of timing specification in Petri Nets (PN) has followed two main lines: intervals for functional analysis or stochastic durations for performance and dependability analysis. The present paper proposes a novel technique to analyze time or stochastic PN models based on discretization. This technique can be seen as a bridge between the world of functional analysis and the world of stochastic analysis. The proposed discretization technique is based on the definition of a new construct... (Update)
Context of citations to this paper: More
.... 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...
.... 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...
Cited by: More
A Discrete Time Model for Performance Evaluation and.. - Bucci, Sassoli, Vicario (Correct)
The Scale Factor: A New Degree of Freedom in Phase Type.. - Bobbio, Horvath, Telek (2003) (Correct)
Model Checking Time Petri Nets using NuSMV - Bobbio, Horvath (2001) (Correct)
Active bibliography (related documents): More All
2.0: Petri Nets with Discrete Phase Type Timing: A Bridge Between.. - Bobbio, Horvath (2001) (Correct)
0.7: Time domain analysis of non-Markovian Stochastic Petri Nets.. - Horváth, Telek (Correct)
0.3: Recent Developments in Non-Markovian Stochastic Petri Nets - Bobbio, Puliafito, Telek, .. (1998) (Correct)
Similar documents based on text: More All
1.0: Acyclic Discrete Phase Type Distributions.. - Bobbio.. (2000) (Correct)
0.6: Model-checking based on Fluid Petri Nets for the.. - Gribaudo.. (2002) (Correct)
0.6: PhFit: A General Phase-Type Fitting Tool - Bobbio, Horvath, Telek (Correct)
Related documents from co-citation: More All
4: A Benchmark for PH Estimation Algorithm: Results for AcyclicPH - Bobbio, Telek - 1994
3: Esp - A package for the evaluation of stochastic Petri nets with phase-type dist.. (context) - Cumani - 1985
3: The least variable phase-type distribution is Erlang (context) - Aldous, Shepp - 1987
BibTeX entry: (Update)
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. http://citeseer.ist.psu.edu/article/bobbio01petri.html More
@inproceedings{ bobbio01petri,
author = "A. Bobbio and A. Horv\'ath",
title = "Petri nets with discrete phase type timing: A bridge between stochastic
and functional analysis",
booktitle = "Proc. of MTCS'01",
address = "Aalborg, Denmark",
month = aug,
note = "To appear in Electronic Notes in Theoretical Computer Science.",
year = "2001",
url = "citeseer.ist.psu.edu/article/bobbio01petri.html" }
Citations (may not include all citations):155 Modelling with Generalized Stochastic Petri Nets (context) - Marsan, Balbo et al. - 1995
109 Automatic veri cation of nite state concurrent systems using.. (context) - Clarke, Emerson et al. - 1986
97 On Petri nets with deterministic and exponentially distribut.. (context) - Marsan, Chiola - 1987
76 Markov regenerative stochastic Petri nets (context) - Choi, Kulkarni et al. - 1994
54 Recoverability of communication protocols (context) - Merlin, Faber - 1976
37 the integration of delay and throughput measures in distribu.. (context) - Molloy - 1981
30 Preemptive repeat identical transitions in Markov Regenerati.. - Bobbio, Kulkarni et al. - 1995
27 Performance Modelling with Deterministic and Stochastic Petr.. (context) - Lindemann - 1998
23 Discrete-time markovian stochastic petri nets - Ciardo - 1995
22 A data structure for the ecient Kronecker solution of GSPNs (context) - Ciardo, Miner - 1999
20 Compositional validation of time-critical systems using comm.. - Bucci, Vicario - 1995
16 Complexity of memorye cient Kronecker operations with applic.. - Buchholz, Ciardo et al. - 2000
16 ect of execution policies on the semantics and analysis of s.. (context) - Marsan, Balbo et al. - 1989
14 Les reseaux de Petri stochastiques et leur application a l'e.. (context) - Natkin - 1980
9 Non-exponential stochastic Petri nets: an overview of method.. - Bobbio, Telek - 1998
9 Acyclic discrete phase type distributions: Properties and a .. - Bobbio, Horv et al. - 2000
8 Static analysis and dynamic steering of time dependent syste.. - Vicario - 2001
8 Kronecker representation of Stochastic Petri nets with discr.. (context) - Scarpa, Bobbio - 1998
7 A modeling framework to implement combined preemption polici.. (context) - Bobbio, to et al. - 2000
4 Modelling and veri cation of time dependent systems using Ti.. (context) - Berthomieu, Diaz - 1991
3 A uni ed high level Petri net formalism for time-critical sy.. (context) - Ghezzi, Mandrioli et al. - 1991
3 A discrete time approach to the analysis of non-Markovian st.. (context) - Horv, to et al. - 2000
Documents on the same site (http://webspn.hit.bme.hu/~horvath/publications/): More
Compositionality in the GreatSPN tool and its.. - Bernardi, Donatelli.. (2000) (Correct)
Time domain analysis of NMSPN with PRI transitions - Horvath, Telek (Correct)
A Markovian Point Process Exhibiting Multifractal Behavior .. - Horváth, Telek (Correct)
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