PNSE'13 + ModBE'13 2013
PNSE'13 and ModBE'13 @ Petri Nets 2013

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