Petrinetze

What it is about

You will become acquainted with Petri nets as a formal model for describing and analyzing concurrent systems. In the end you will be able to model simple systems with Petri nets, analyze small nets by hand, and select suitable automatic analysis techniques and software tools for larger nets to assess behavior and properties.

What you will be able to do

• Model concurrent systems with Petri nets
• Analyze small Petri nets by hand
• Select automatic analysis techniques and tools
• Use analysis results to evaluate system behavior

What the module consists of

• LectureDelivery of content in lectures and through presentations
• TutorialDiscussion and practice of solutions to the exercise sheets

Teaching method

• Lecture / Presentationfor introduction and explanation of the theory
• Tasks during the lecturefor active engagement with the topics
• Exercise sheets and discussion of exercisesto deepen and apply the techniques
• Tool presentationto illustrate automatic analysis methods