System Engineering. A Petri Net Based Approach to Modelling, Verification and Implementation.
MATCH Summer School

Intended Audience

People interested in the application of Petri nets to systems engineering. The material and the lectures of the school will be organized in such a way that the following two groups of people can benefit from this course:

• People interested in the application of Petri nets.
  The course starts with a general introduction to Petri nets and focuses on the application of Petri nets to three application domains: workflow management, telecommunication and flexible manufacturing.
• People interested in the relations between theory and practical use of Petri nets.
  The course addresses fundamental modeling problems and analysis techniques. State-of-the-art analysis techniques are presented for people interested in the verification of complex systems.

The course will bring together practitioners, researchers and PhD students interested in Petri nets. Cases and concrete projects are used to create a stimulating atmosphere. People attending the course will be trained in the use of several computer tools.