MATCH Advanced Summer Schools



Index page
Aims and Scope
Intended Audience
Topics
Parts of the course
Detailed Programme
Slides of the courses
Report and Photographies

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

September 14-22, 1998. Jaca, Spain.

Scientific Directors:

C. Girault and R. Valk