• Citer

Application and Theory of Petri Nets and Concurrency: Proceedings of the 36th International Conference PETRI NETS 2015

par Devillers, Raymond ;Valmari, Antti
Référence LNCS, Springer, Switserland
Publication Publié, 2015-06-21

Direction d'ouvrage

• Détails
• Contenu

Résumé :

This volume constitutes the proceedings of the 36th International Conferenceon Application and Theory of Petri Nets and Concurrency (Petri Nets 2015).This series of conferences serves as an annual meeting place to discuss progressin the field of Petri nets and related models of concurrency. These conferences provide aforum for researchers to present and discuss both applications and theoreticaldevelopments in this area. Novel tools and substantial enhancements to existingtools can also be presented. This year, the satellite program of the conferencecomprised four workshops, two Petri net courses, two advanced tutorials, and amodel checking contest.Petri Nets 2015 was co-located with the Application of Concurrency to System Design Conference (ACSD 2015). Both were organized by the Département d'Informatique (Science Faculty) of the Université Libre de Bruxelles (ULB) and took place in Brussels, Belgium, June 21 -- 26, 2015. We would like to express ourdeepest thanks to the Organizing Committee chaired by Gilles Geeraerts for thetime and effort invested in the local organization of the conference.This year, 30 regular papers and 4 tool papers were submitted to Petri Nets 2015. The authors of the submitted papers represented 21 different countries. We thank all the authors. Each paper was reviewed by at least three referees. The Program Committee (PC) meeting took place electronically, using the EasyChair conference system for the paper selection process. The PC selected 12 regular papers and 2 tool papers for presentation. After the conference, some authors were invited to submit an extendedversion of their contribution for consideration in a special issue ofthe Fundamenta Informaticae journal.We thank the PC members and other reviewers for their careful and timelyevaluation of the submissions before the meeting, and the fruitful discussionsduring the electronic meeting. The Springer LNCS team and the EasyChair systemprovided excellent support in the preparation of this volume. We are also grateful to the invited speakers for their contribution: Marta Kwiatkowska (On quantitative modelling and verification of DNA walker circuits using stochastic Petri nets), Marlon Dumas (Process Mining Reloaded: Event Structures as a Unified Representation of Process Models and Event Logs),Robert Lorenz (Modeling Quantitative Aspects of Concurrent Systems using Weighted Petri Net Transducers).