Petri Nets 2017 and ACSD 2017: 2nd Call for Participation (early registration ends on May, 29th)

De Miércoles, Mayo 10, 2017 - 01:45 hasta Lunes, Mayo 29, 2017 - 01:45

**** Apologies for multiple copies due to cross-posting ****
*** Please forward to colleagues who might be interested ***

* Petri Nets 2017 and ACSD 2017

38th International Conference On Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets 2017)


17th International Conference on Application of Concurrency to System Design (ACSD 2017)

Co-located in Zaragoza, Spain, 25-30 June 2017

Conference website:


-> Early registration ends on May, 29th

-> We are still welcoming proposals for the tool exhibition (see below)

-> The call for paper of the PNSE workshop is still open until May, 7th

Please visit:

Please visit:

Distinguished Carl Adam Petri Lecture

- Thomas Henzinger. Promises and Challenges of Reactive Modeling: A Personal Perspective

Invited speakers

- Josep Carmona. The Alignment of Formal, Structured and Unstructured Process Descriptions

- Bernhard Steffen. Property-Preserving Generation of Tailored Benchmark Petri Nets

- Irina A. Lomazova. Resource Equivalences in Petri Nets

- Christos G. Cassandras. Complexity Made Simple (at a small price)


- Petri net course - Basic net classes, Coloured Petri nets and Timed and stochastic Petri nets
June, 25 and 26
Lecturers: Joerg Desel, Lars Kristensen and Serge Haddad
Organisers: Joerg Desel and Jetty Kleijn

- Advanced Tutorial - Parametric Verification
June, 27
Lecturers: Étienne André, Didier Lime, Wojciech Penczek, and Laure Petrucci

- Advanced Tutorial - A Tour In Process Mining: From Practice to Algorithmic Challenges
June, 27
Lecturers: Wil van der Aalst, Josep Carmona, Thomas Chatain, and Boudewijn van Dongen


- ATAED 2017
Algorithms and Theories for the Analysis of Event Data
June, 26 and 27
Organisers: Wil Van der Aalst, Robin Bergenthum and Josep Carmona

- PNSE 2017
Petri Nets and Software Engineering
June, 26 and 27
Organisers: Daniel Moldt, Lawrence Cabac and Heiko Rölke

Structure Theory of Petri Nets
June, 26
Organisers: Serge Haddad, Jetty Kleijn, Joerg Desel, and José Manuel Colom


The Model Checking Contest called for model and tool submissions with the objective to compare the efficiency of techniques according to characteristics of models. The results of the contest are presented in a session close to the workshops.


The Tool Exhibition consists of informal demonstrations for small groups/individuals without any scheduled talks. If you want to present your favourite tool during the session, send an e-mail to the organisers (pn2017-tools (at) Posters are welcome too.


Registration fee grants cofounded by Springer Verlag and Zaragoza University are available for students. To apply for a grant you need to be PhD or MSc student and register for 2 days of wokshops/tutorials/course (Package 4).

Successful application allows to attend for free in the main conference including social events (upgrades package 4 to package 1).

To apply for the grant you need to send, before 15.05.2017 (notification - 22.05.2017): scientific CV, motivation letter, support letter from supervisor, and document confirming student status;to address pn2017 (at)

Contact OC Chair : pn2017 (at)

José-Manuel Colom
University of Zaragoza


Powered by


El material de esta web es propiedad de TECDIS © o de las fuentes señaladas. Cualquier uso de la información aquí contenida requerirá la autorización por escrito del autor.

Valid XHTML + RDFa