Joint Proceedings of:

          »PNSE’13«
        International Workshop on
    Petri Nets and Software Engineering




         »ModBE’13«
        International Workshop on
    Modeling and Business Environments



         Satellite events of the

 34th International Conference on
Application and Theory of Petri Nets
          and Concurrency
       Milano, Italy, June, 2013
Compilation Editor:
Daniel Moldt
University of Hamburg
Department of Informatics
Theoretical Foundations of Informatics
Vogt-Kölln-Str. 30
D-22527 Hamburg
Germany
http://www.informatik.uni-hamburg.de/TGI/




These proceedings are published online by the editor as Volume 989 at
    CEUR Workshop Proceedings
    ISSN 1613-0073
    http://ceur-ws.org/Vol-989

Copyright c 2013 for the individual papers by the papers’ authors. Copying per-
mitted only for private and academic purposes. This volume is published and copy-
righted by its editors.
Contents




PNSE’13 Proceedings

Part I PNSE’13: Invited Talk

Coordination for Situated MAS:
Towards an Event-driven Architecture
Andrea Omicini and Stefano Mariani . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17


Part II PNSE’13: Long Presentations

A Canonical Contraction for Safe Petri Nets
Thomas Chatain and Stefan Haar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
Symbolic Verification of ECA Rules
Xiaoqing Jin, Yousra Lembachar and Gianfranco Ciardo . . . . . . . . . . . . . . 41
Soundness of Workflow Nets with an Unbounded Resource is
Decidable
Vladimir A. Bashkin and Irina A. Lomazova . . . . . . . . . . . . . . . . . . . . . . . . 61
Modeling Distributed Private Key Generation by Composing
Petri Nets
Luca Bernardinello, Görkem Kılınç, Elisabetta Mangioni and Lucia
Pomello . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
Integrating Web Services in Petri Net-based Agent
Applications
Lawrence Cabac, Tobias Betz, Michael Duvigneau, Thomas Wagner
and Matthias Wester-Ebbinghaus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
Petri Nets as a Means to Validate an Architecture for Time
Aware Systems
Francesco Fiamberti, Daniela Micucci and Francesco Tisato . . . . . . . . . . . 117
Part III PNSE’13: Short Presentations

A Framework for Efficiently Deciding Language Inclusion for
Sound Unlabelled WF-Nets
Dennis Schunselaar, Eric Verbeek, Wil van der Aalst and Hajo A. Reijers135

Introducing Catch Arcs to Java Reference Nets
Lawrence Cabac and Michael Simon . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155
A System Performance in Presence of Faults Modeling
Framework Using AADL and GSPNs
Belhassen Mazigh and Kais Ben Fadhel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 169
Coloured Petri Nets Refinements
Christine Choppy, Laure Petrucci and Alfred Sanogo . . . . . . . . . . . . . . . . . . 187
Petri Nets-Based Development of Dynamically Reconfigurable
Embedded Systems
Tomáš Richta, Vladimír Janoušek and Radek Kočí . . . . . . . . . . . . . . . . . . . 203
Decomposing Replay Problems: A Case Study
Eric Verbeek and Wil van der Aalst . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 219


Part IV PNSE’13: Short Papers

Building Petri Nets Tools around Neco Compiler
Łukasz Fronc and Franck Pommereau . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 239
RT-Studio: A Tool for Modular Design and Analysis of
Realtime Systems Using Interpreted Time Petri Nets
Rachid Hadjidj and Hanifa Boucheneb . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 247


Part V PNSE’13: Poster Abstracts

A Tool to Synthesize Intelligible State Machine Models from
Choreography using Petri Nets
Toshiyuki Miyamoto and Hiroyuki Oimura . . . . . . . . . . . . . . . . . . . . . . . . . . 257
Transforming Platform Independent CPN Models into Code
for the TinyOS Platform: A Case Study of the RPL Protocol
Vegard Veiset and Lars Michael Kristensen . . . . . . . . . . . . . . . . . . . . . . . . . . 259
ModBE’13 Proceedings

Part VI ModBE’13: Invited Talk

Knowledge and Business Intelligence Technologies in Cross-
Enterprise Environments for Italian Advanced Mechanical
Industry
Ernesto Damiani and Paolo Ceravolo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 271


Part VII ModBE’13: Long Presentations

Optimizing Algebraic Petri Net Model Checking by Slicing
Yasir Imtiaz Khan and Matteo Risoldi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 275
A Proposal for the Modeling of Organizational Structures
and Agent Knowledge in MAS
Lawrence Cabac, David Mosteller, Matthias Wester-Ebbinghaus . . . . . . . . 295
Mining Declarative Models Using Time Intervals
Jan Martijn van der Werf, Ronny Mans and Wil van der Aalst . . . . . . . . 313


Part VIII ModBE’13: Short Presentation

Improving Emergency Department Processes Using Coloured
Petri Nets
Khodakaram Salimifard, Seyed Yaghoub Hosseini and Mohammad
Sadegh Moradi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 335


Part IX ModBE’13: Poster Abstracts

Advantages of a Full Integration between Agents and
Workflows
Thomas Wagner and Lawrence Cabac . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 353
Cloud Transition for QoS Modeling of Inter-Organizational
Workflows
Sofiane Bendoukha and Lawrence Cabac . . . . . . . . . . . . . . . . . . . . . . . . . . . . 355