SAFERELNET

Petri Nets Course, May 12, 2004, Coupole Tower, Paris, La Defence

Course Content
Lecturers: J.P. Signoret AND Y. Dutuit

1. Basic Considerations

2. A Small Introductory Example
Non Repairable Components
Repairable Components
     Reliability
     Availability

3. From Availability To Production Availability (Markovian Approach)
Basic Markovian Formulae
State Efficiency And Classical Mean Availability
Mean Availability: A Particular Case Of Production Availability
Markov Limitations

4. In Depth Study Of The Difficulties Encountered
Comparison RBD / Production Availability Models
Stand-by Units
Common Cause Failures
Failure Propagation
Logistics And Types Of Failures
Preventive Maintenance
Miscellaneous

5. Model Quest
Monte Carlo Simulation
Fault Injection
Specific Monte Carlo Software
Generic Models

6. Basic Petri Net Modelling
Short History
Basic Elements
Advanced Topics
     Repeated places
     Messages
     Inhibitor arrows
     Suspended event
     Probabilistic switch
Example Of Simulation
     Simulation of one history
     Output from a simulation
     Reliability and MTTF
     Logistic modelling
     Production availability modelling
     Introduction
     A Simple model easy to handle
     Remarks about the simple model
7. Using Petri Net With "Predicates"

8. Formal Languages - Altarica Data Flow
Introduction
Altarica Data Flow Language
Production Availability Modelling
Stochastic Simulator And Simulation
Altarica Versus Markovian Approach
Conclusion On The Use Of The Altarica Data Flow Modelling

9. Model Debugging

10. Challenge For The Future

11. Conclusion


Thematic Network on Safety and Reliability of Industrial Products, Systems and Structures
domingo, 12 de maio de 2024