»ModBE'13« International Workshop on Modeling 0 Business Environments 0 International Workshop on Petri Nets and Software Engineering 2013 Satellite events of the -

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 permitted only for private and academic purposes. This volume is published and copyrighted by its editors. 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

 Part VI ModBE’13: Invited Talk Knowledge and Business Intelligence Technologies in CrossEnterprise 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