Searching for authors named "Andrea Bobbio" – sorted by Relevance.
29 documents found, showing 1 through 10.
Next 10 →
-
Specifications and Solution Techniques for Non-Markovian Stochastic Petri Nets
- …Specifications and Solution Techniques for Non-Markovian Stochastic Petri Nets Andrea Bobbio…
- Add To MetaCart
-
Computational Restrictions for SPN with Generally Distributed Transition Times
- …Computational Restrictions for SPN with Generally Distributed Transition Times Andrea Bobbio…
- Cited by 11 (10 self) – Add To MetaCart
-
Transient Analysis of a Preemptive Resume M/D/1/2/2 through Petri Nets
- …Transient Analysis of a Preemptive Resume M/D/1/2/2 through Petri Nets Andrea Bobbio Dipartimento…
- Cited by 2 (1 self) – Add To MetaCart
-
Model Checking Time Petri Nets using NuSMV
- …Model Checking Time Petri Nets using NuSMV Andrea Bobbio [1] , Andr'as Horv'ath [2] [1] DISTA…
- Cited by 3 (1 self) – Add To MetaCart
-
Bayesian Networks for Dependability Analysis: an Application to Digital Control Reliability
- … Portinale and Andrea Bobbio Dipartimento di Scienze e Tecnologie Avanzate Universit'a del Piemonte…
- Cited by 10 (4 self) – Add To MetaCart
-
Combined Preemption Policies in MRSPN
- … in MRSPN * Andrea Bobbio Dip. Elettronica per l'Automazione Universitk di Brescia 25123 Brescia, Italy…
- Cited by 5 (5 self) – Add To MetaCart
-
Non-Exponential Stochastic Petri Nets: an Overview of Methods and Techniques
- … and Specifications Andrea Bobbio Dipartimento di Informatica Universit`a di Torino, 10149 Torino, Italy PART 2…
- Cited by 6 (4 self) – Add To MetaCart
-
Markov Regenerative Stochastic Petri Nets with Age Type General Transitions
- … and Andrea Bobbio 2 1 Department of Telecommunications Technical University of Budapest, 1521 Budapest…
- Cited by 8 (8 self) – Add To MetaCart
-
Petri Nets with Discrete Phase Type Timing: A Bridge Between Stochastic and Functional Analysis
- … and Functional Analysis Andrea Bobbio 1 DISTA, Universita del Piemonte Orientale, Alessandria, Italy Andras…
- Cited by 8 (4 self) – Add To MetaCart
-
A Benchmark for PH Estimation Algorithms: Results for Acyclic-PH
- …A Benchmark for PH Eestimation Algorithms: Results for Acyclic-PH Andrea BOBBIO Miklos TELEK…
- Cited by 22 (14 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
