A Petri Net-Based Tool for the Analysis of Generalized Continuous Time Bayesian Networks

A software tool for the analysis of Generalized Continuous Time Bayesian Networks (GCTBN) is presented. GCTGBN extend CTBN introducing in addition to continuous time-delayed variables, non-delayed or “immediate” variables. The tool is based on the conversion of a GCTBN model into a Generalized Stochastic Petri Net (GSPN), which is an actual mean to perform the inference (analysis) of the GCTBN. Both the inference tasks (prediction and smoothing) can be performed in this way. The architecture and the methodologies of the tool are presented. In particular, the conversion rules from GCTBN to GSPN are described, and the inference algorithms exploiting GSPN transient analysis are presented. A running example supports their description: a case study is modelled as a GCTBN and analyzed by means of the tool. The results are verified by modelling and analyzing the system as a Dynamic Bayesian Network, another form of Bayesian Network, assuming discrete time.

[1]  Kishor S. Trivedi,et al.  Performance and Reliability Analysis of Computer Systems , 1996, Springer US.

[2]  Suchi Saria,et al.  Reasoning at the Right Time Granularity , 2007, UAI.

[3]  Luigi Portinale,et al.  Generalized Continuous Time Bayesian Networks and their GSPN Semantics , 2010 .

[4]  Aderemi A. Atayero,et al.  Integrated Models for Information Communication Systems and Networks: Design and Development , 2013 .

[5]  Stuart J. Russell,et al.  Dynamic bayesian networks: representation, inference and learning , 2002 .

[6]  Andrew S. Miner.  Decision diagrams for the exact solution of Markov models , 2007 .

[7]  Giovanni Chiola,et al.  GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets , 1995, Perform. Evaluation.

[8]  Helge Langseth,et al.  Bayesian networks in reliability , 2014, Reliab. Eng. Syst. Saf..

[9]  Salvatore J. Bavuso,et al.  Dynamic fault-tree models for fault-tolerant computer systems , 1992 .

[10]  Konstantin Rumyantsev,et al.  Modeling of Quantum Key Distribution System for Secure Information Transfer , 2013 .

[11]  Luigi Portinale,et al.  Supporting reliability engineers in exploiting the power of Dynamic Bayesian Networks , 2010, Int. J. Approx. Reason..

[12]  Luigi Portinale,et al.  Compiling Dyanamic Fault Trees into Dynamic Bayesian Nets for Reliability Analysis: the RADYBAN Tool , 2007, BMA.

[13]  Douglas C. Schmidt,et al.  System Integration Using Model-Driven Engineering , 2009 .

[14]  Imran Ghani,et al.  Emerging Innovations in Agile Software Development , 2016 .

[15]  Yu Fan,et al.  Sampling for Approximate Inference in Continuous Time Bayesian Networks , 2008, ISAIM.

[16]  Giuliana Franceschinis,et al.  Defining formalisms and models in the Draw-Net Modeling System , 2006 .

[17]  Nir Friedman,et al.  Gibbs Sampling in Factorized Continuous-Time Markov Processes , 2008, UAI.

[18]  Antonio Puliafito,et al.  Dependability Evaluation with Dynamic Reliability Block Diagrams and Dynamic Fault Trees , 2009, IEEE Transactions on Dependable and Secure Computing.

[19]  Xavier Boyen,et al.  Tractable Inference for Complex Stochastic Processes , 1998, UAI.

[20]  Daphne Koller,et al.  Expectation Propagation for Continuous Time Bayesian Networks , 2005, UAI.

[21]  Henry A. Kautz,et al.  Extending Continuous Time Bayesian Networks , 2005, AAAI.