Day 1Programme_Day_1.html
Day 3Programme_Day_3.html

8:00

  Registration - Foyer Abbrescia

9:15

  Plenary 2: Chair: A. Bobbio -> Room Abbrescia


               “Model-Based Approaches for Railway Safety, Reliability and Security:

                 The Experience of Ansaldo STS”


               
  Francesco Flammini    (info)



10:15

 
Coffee break - Rooms Daunia and Illiria


10:45

  TM1 -> Room Abbrescia  TM2 -> Room Japigia


10:50 - [24] - Benefit of railway infrastructure diagnosis systems on its availability, Lisandro Mariano Quiroga, Stefan Wegele,

                        Eckehard Schnieder


11:15 - [29] - The Use of Petri Nets Models in Railway Traffic Applications, Stefano Ricci


11:40 - [62] - Analysis of the Unavailability of I & C function important to safety in a Nuclear Power Plant, Yongjian Ding, Joerg Mueller


12:05 - [5] - Application of Extended Coloured Stochastic Petri Nets for Modelling and Analysis of RAMS+C of Production Systems,

                    Steffen Nebel, Andrea Dieter, Bernd Bertsche



10:50 - [48] - Modelling and Validation of Alarm Management Workflow in Healthcare Integrating IHE-PCD Profile and Coloured

                        Petri Nets. Sara Gaion, Maria Pia Fanti, Stefano Mininel, Walter Ukovich, Federica Vatta


11:15 - [60] - Agent-Based Architecture for the HealthCare of patients at The Emergency Department. Amani daknou, Hayfa Zgaya,

                        Slim Hammadi, Hervé Hubert.


11:40 - [46] - A Dynamic Workflow Modelling and performance Analysis Methodology for Complicated Clinical Pathway

                        with Variations. Gang Du, Zhibin Jiang, Xiaodi Diao, Yan Ye, Huiran Liu, Yang Yao


12:05 - [37] - Dependable Model for Enzyme Kinetics using Petri Networks. Radu Dobrescu, Stefan A. Popa, Matei Dobrescu



12:30

 
Lunch - Murat Restaurant


13:45

  TA1 -> Room Abbrescia TA2 -> Room Japigia


13:50 - [61] - Improving System Safety Modelling in accordance to IEC 61508 By using Monte Carlo Simulations, Jörg R. Müller,

                        Tobias Staender, Eckehard Schnieder


14:15 - [80] - Conceptual foundation of dependable systems modelling. Lars Schnieder, Eckehard Schnieder, Jörg R. Müller


14:40 - [6] - Dependability & safety modeling and calculation: Petri nets. Jean-Pierre Signoret



13:50 - [30] - Modeling Cascading Failure Propagation through Dynamic Bayesian Networks. Andrea Bobbio, Daniele Codetta-Raiteri,

                        Stefania Montani, Luigi Portinale


14:15 - [14] - Bayesian networks Applications on Dependability, Risk Analysis and Maintenance. Gabriela Medina Oliva,

                        Philippe Weber, Christophe Simon, Benoit Iung


14:40 - [33] - Dependability Modelling of Repairable Systems using Bayesian Networks, Martin Neil, David Marquez



15:05

 
Coffe break - Gallery


15:35

  TA3 -> Room Abbrescia TA4 -> Room Japigia



15:40 - [55] - Colored Petri Net inversion for Backward Reachability Analysis. Mohamed Bouali, Pavol Barger, Walter Schön


16:05 - [28] - Controller synthesis with very simplified linear constraints in PN model. Abbas Dideban, Maysam Zareiee,

                        Hassane Alla


16:30 - [63] - On the optimal design of linear networked systems. Vadim Azhmyakov, Rosalba Galvan-Guerra, Ruben Velazquez

                        Cuevas, Alex S. Poznyak



15:40 - [47] - Maintenance Planning of Safety Protective Systems using Dynamic Bayesian Networks. Takehisa Kohda,

                        Hiroki Tokunaga


16:05 - [56] - Modeling and Troubleshooting with Interventions Applied to an Auxiliary Truck Braking System.

                        Anna Pernestål, Håkan Warnquist, Mattias Nyberg


16:30 - [58] - Failure prognostic by using Dynamic Bayesian Networks. Kamal Medjaher, Jean Yves Moya, Noureddine Zerhouni



17:20

  End Day 2


19:00

 
  Banquet (Polignano, Restaurant "Donna Gina")