Conferences Program and Satellite Events Sunday, 25 June 2017
ROOM: Room 1 - Goya H. Classroom A.13 Classroom A.14 Classroom A.11 Classroom A.12 Classroom A.15 Classroom A.14 Classroom A.15 Classroom A.11 Classroom A.01 Classroom A.02 Sunday, 25 June 2017 Session 1 Jörg Desel - Basic Net Classes (Part I) Session 2 Jörg Desel - Basic Net Classes (Part II) Session 3 Lars Kristensen - Coloured Petri Nets I (Part I) Session 4 Lars Kristensen - Coloured Petri Nets I (Part II)
Monday, 26 June 2017 Session 1 Sessions Session 1 Session 1 Session A. Lars Kristensen - Opening session + Definition of Coloured Petri Nets Structure II (Part I) Session 2 Session 2 Session 2 Lars Kristensen - Coloured Petri Nets Session B. The theoretical II (Part II) Session 3 Invited Talk 1 Invited Talk 1 framework Session 3 Sessions Serge Haddad - Time and Stochastic To be determined Prof. Thomas Hildebrandt - (Title to be confirmed) Session C. The application framework Petri Nets (Part I) Session 3 Session 1 Session 4 Session 4 Session D. Future Serge Haddad - Time and Stochastic Petri Nets (Part II) Poster Break Invited Talk 2 Invited Talk 2 trends and challenges Special Session To be determined To be determined Homage to Prof. M. Silva s s
Tuesday, 27 June 2017 Invited Talk 1 Invited Talk 1 Session 1 Session 1 To be determined To be determined Module I: A Practical É. André, D. Lime, W. Introduction to Penczek, L. Petrucci - Process Mining Parametric Verification (Part I) Session 1 Session 1 Session 2 Session 2 É. André, D. Lime, W. Module II: Discovering Session 2 Session 2 Penczek, L. Petrucci - Process Models Parametric Verification (Part II) Invited Talk 2 Invited Talk 2 Session 3 Session 3 To be determined To be determined É. André, D. Lime, W. Module III: Evidencebased Quality Metrics Session 3 Session 3 Penczek, L. Petrucci - Parametric for Process Models Verification (Part III) Session 4 Session 4 Session 4 É. André, D. Lime, W. Penczek, L. Petrucci - Parametric Module IV: The Model Checking Verification (Part IV) Challenge of Contest 2017 - Alignments MCC'17 Session Steering Committee meeting - Room meeting: S.22-2nd Floor of the Ada Byron's Building (Conferences venue)
Wednesday, 28 June 2017 Registration Opening Session Registration Opening Session Distinguished Carl Adam Petri Lecture Prof. Thomas Henzinger. Promises and Challenges of Reactive Modeling: A Personal Perspective Session 1 Session 1 Session 1: Simulation of Colored Petri Nets Session 1: Verification of Timed Systems Invited Lecture 1 Prof. Josep Carmona. The Alignment of Formal, Structured and Unstructured Process Descriptions Session 2 Session 2 Session 2: Session 2: Petri Net Compositional Tools Verification Welcome Party Paraninfo of the Zaragoza University Welcome words from university and local authorities - Guided tours inside building
Thursday, 29 June 2017 Invited Lecture 2 Prof. Bernhard Steffen. Property-Preserving Generation of Tailored Benchmark Petri Nets Session 3 Session 3 Session 3: Session 3: Model Asynchronous Checking Systems Session 4 Session 4 Session 4: Liveness Session 4: Circuit and Opacity Analysis Tool Session Tool Session Computer Lab Computer Lab session session Invited Lecture 3 Prof. Irina A. Lomazova. Resource Equivalences in Petri Nets Session 5 Session 5 Session 5: Session 5: Models Stochastic Petri of Concurrency Nets Group Photo Group Photo Conference Dinner Gran Hotel Restaurant - Calle Joaquín Costa, 5, 50001 Zaragoza
Friday, 30 June 2017 Invited Lecture 4 Prof. Christos G. Cassandras. Complexity Made Simple (at a small price) Session 6 Session 6 Session 6: Scheduling of Concurrent Session 6: Specific Net Classes Systems Session 7 Session 7 Session 7: Shared Session 7: Petri Memory Nets for Pathways Concurrency Closing Session Closing Session Sightseeing Guided tour of the city by tourist bus and walk through the old part of the city. Visit to the Palace of the Aljafería.
Saturday, 1st July 2017 Excursion Tourist tour by some wine cellars of the region with wine tasting included (non-alcoholic beverages and beverages that meet other dietary restrictions will be available)