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

Aims and Scope

Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in size and complexity. The aim of the school is to illustrate progress in formal methods, based on the Petri net formalism, through a collection of examples arising from Flexible Manufacturing, Telecommunication and Workflow Management Systems.

The scope of the school covers several of the main phases of the life cycle of the design and implementation of a system: specification, model checking techniques for verification, analysis of properties, code generation, and execution of models. The presentation describes these techniques and their tool support. It identifies and explains fundamental concepts like composition, abstraction, and reusable models; model verification and verification of properties. Practical work with tools will play an important role.