System Engineering. A Petri Net Based Approach to Modelling, Verification and Implementation.
Aims and Scope
Parts of the course
The lecturers are well known experts in modelling and verification of DEDS. They are involved in theoretical and applied research and are also collaborating with industry. They include:
W. v.d. Aalst (Eindhoven), J.M. Colom (Zaragoza), P. Estrailler (Paris), J. Ezpeleta (Zaragoza), B. Farwer (Hamburg), C. Girault (Paris), S. Haddad (Paris), J.M. Ilié (Paris), F. Kordon (Paris), D. Poitrenaud (Paris), M.O. Stehr (Hamburg), E. Teruel (Zaragoza), R. Valk (Hamburg), M. Voorhoeve (Eindhoven).