MATCH Advanced Summer Schools |
Index page Aims and Scope Intended Audience Topics Parts of the course Detailed Programme |
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 |