In order to give you a better service this page uses cookies. By continuing to browse the site you are agreeing to our use of cookies.
For further information please see our page about data protection.

System safety analysis

with Petri net based Markov chains

Markov chains and their analysis are useful for the assessment of safety-related systems. Markov analysis is a mathematical quantitative method to evaluate safety requirements of system design. This analysis could be used in industrial applications and is proposed in several standards like SAE ARP 4761. The direct modelling of Markov chains needs much effort and knowledge. The analysis approach with Markov chains based on Petri nets is a much more efficient way to handle system complexity without loss of detailed information. This seminar provides an overview of the applicability of Markov chains based on Petri nets in a safety assessment process and presents a related tool-based technology.


First Part (P1):  9:00 am-1:00 pm

  • Standards and possible applications 
  • System modelling with (qualitative) Petri nets 
  • Temporal logics and CTL model checking 
  • Stochastic Petri nets and Markov chains 
  • Generalised stochastic Petri nets
  • Analysis of Markov chains
  • CSL model checking 
  • Tool Support

Second Part (P2-optional): 2:00 pm-6:00 pm

  • Exercise example 
  • Tool demonstration 
  • Training on an example study

Interest group

First Part:

  • Technicians, engineers, managers and operational researcher

Second Part (optional):

  • Technicians and engineers


  • Aviation (civil)
  • Railway
  • Automotive

Seminar Registration


On-site training enquiry (please leave a comment)

Company / Invoice Recipient

* / *


Please add further participants into the comments field below.

Comments, Terms and Conditions

We accept the terms and conditions. *