| Vol-989 urn:nbn:de:0074-989-9 Copyright © 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+ModBE'13 2013
PNSE'13 and ModBE'13 @ Petri Nets 2013

### Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and
the International Workshop on Modeling and Business Environments (ModBE'13)
co-located with the 34th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2013

### Milano, Italy, June 24 - 25, 2013.

Edited by

### Daniel Moldt *

* University of Hamburg, Department of Informatics, 22527 Hamburg, Germany

### Workshop Chairs:

#### Daniel Moldt (PNSE'13) + (ModBE'13) *
Heiko Rölke (PNSE'13) **

* University of Hamburg, Department of Informatics, 22527 Hamburg, Germany
** DIPF (German Institute for International Educational Research), Germany

Joint proceedings of PNSE'13 and ModBE'13 as a single joint volume.
Proceedings of PNSE'13 as a single sub-volume.
Proceedings of ModBE'13 as a single sub-volume.
BibTeX for the PNSE'13 and ModBE'13 proceedings.

## Joint Proceedings Table of Contents

- Joint Frontmatter 1-5

### International Workshop on Petri Nets and Software Engineering (PNSE'13)

Workshop Chairs: Daniel Moldt and Heiko Rölke

- PNSE'13 Frontmatter 7-12

#### Invited Talks (PNSE'13)

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

#### Long Presentations (PNSE'13)

- A Canonical Contraction for Safe Petri Nets 25-39
  Thomas Chatain, Stefan Haar
- Symbolic verification of ECA rules 41-59
  Xiaoqing Jin, Yousra Lembachar, Gianfranco Ciardo
- Soundness of Workflow Nets with an Unbounded Resource is Decidable 61-75
  Vladimir A. Bashkin, Irina A. Lomazova
- Modeling Distributed Private Key Generation by Composing Petri Nets 77-96
  Luca Bernardinello, Gorkem Kilinc, Elisabetta Mangioni, Lucia Pomello
- Integrating Web Services in Petri Net-based Agent Applications 97-116
  Tobias Betz, Lawrence Cabac, Michael Duvigneau, Thomas Wagner, Matthias Wester-Ebbinghaus
- Petri Nets as a Means to Validate an Architecture for Time Aware Systems 117-131
  Francesco Fiamberti, Daniela Micucci, Francesco Tisato

#### Short Presentations (PNSE'13)

- A Framework for Efficiently Deciding Language Inclusion for Sound Unlabelled WF-Nets 135-154
  Dennis Schunselaar, Eric Verbeek, Wil van der Aalst, Hajo A. Reijers
- Introducing Catch Arcs to Java Reference Nets 155-168
  Lawrence Cabac, Michael Simon
- A System Performance in Presence of Faults Modeling Framework Using AADL and GSPNs 169-186
  Belhassen Mazigh, Kais Ben Fadhel
- Coloured Petri Nets Refinements 187-201
  Christine Choppy, Laure Petrucci, Alfred Sanogo
- Petri Nets-Based Development of Dynamically Reconfigurable Embedded Systems 203-217
  Tomáš Richta, Vladimír Janoušek, Radek Kocí
- Decomposing Replay Problems: A Case Study 219-235
  Eric Verbeek, Wil van der Aalst

#### Short Papers (PNSE'13)

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

#### Poster Abstracts (PNSE'13)

- A Tool to Synthesize Intelligible State Machine Models from Choreography using Petri Nets 257-258
  Toshiyuki Miyamoto, Hiroyuki Oimura
- Transforming Platform Independent CPN Models into Code for the TinyOS Platform: A Case Study of the RPL Protocol 259-260
  Vegard Veiset, Lars Michael Kristensen

### International Workshop on Modeling and Business Environments (ModBE'13)

Workshop Chair: Daniel Moldt

- ModBE'13 Frontmatter 263-267

#### Invited Talks (ModBE'13)

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

#### Long Presentations (ModBE'13)

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

#### Short Presentation (ModBE'13)

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

#### Poster Abstracts (ModBE'13)

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

2013-08-04: submitted by Daniel Moldt
2013-08-06: published on CEUR-WS.org