| Vol-1160 urn:nbn:de:0074-1160-3 Copyright © 2014 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 2014
Petri Nets and Software Engineering 2014

### Proceedings of the International Workshop on Petri Nets and Software Engineering,
co-located with 35th International Conference on Application and Theory of Petri Nets and Concurrency (PetriNets 2014) and
14th International Conference on Application of Concurrency to System Design (ACSD 2014)

### Tunis, Tunisia, June 23-24, 2014.

Edited by

### Daniel Moldt *
Heiko Rölke **

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

PNSE'14 proceedings as a single volume.
BibTeX for the PNSE'14 proceedings.

## Table of Contents

- Frontmatter 1-10

### PART I: Invited Talk

- An Approach for the Engineering of Protocol Software from Coloured Petri Net Models: A Case Study of the IETF WebSocket Protocol 13-14
  Lars Michael Kristensen

### PART II: Long Presentations

- Verification of Logs - Revealing Faulty Processes of a Medical Laboratory 17-33
  Robin Bergenthum, Joachim Schick
- On-The-Fly Model Checking of Times Properties on Time Petri Nets 35-53
  Kais Klai
- SMT-based Abstract Temporal Planning 55-74
  Artur Niewiadomski, Wojciech Penczek
- Kleene Theorems for Labelled Free Choice Nets 75-89
  Ramchandra Phawade, Kamal Lodaya
- Using Symbolic Techniques and Algebraic Petri Nets to Model Check Security Protocols for Ad Hoc Networks 91-110
  Mihai Lica Pura, Didier Buchs

### PART III: Short Presentations

- Morphisms on Marked Graphs 113-127
  Luca Bernardinello, Lucia Pomello, Stefano Scaccabarozzi
- A Petri Net Approach for Reusing and Adapting Components with Atomic and non-atomic Synchronisation 129-141
  Djaouida Dahmani, Mohand Cherif Boukala, Hassan Mountassir
- Observable Liveness 143-163
  Jörg Desel, Görkem Kılınç
- Real-Time Property Specific Reduction for Time Petri Net 165-179
  Ning Ge, Marc Pantel
- Visual Language Plans - Formalization of a Pedagogical Learnflow Modeling Language 181-200
  Kerstin Irgang, Thomas Irgang
- Slicing High-level Petri Nets 201-220
  Yasir Imtiaz Khan, Nicolas Guelfi
- Performance Analysis of M/G/1 Retrial Queue with Finite Source Population Using Markov Regenerative Stochastic Petri Nets 221-231
  Ikhlef Lyes, Lekadir Ouiza, Djamil Aïssani
- Petri Nets Based Approach for Modular Verification of SysML Requirements on Activity Diagrams 233-248
  Messaoud Rahim, Malika Boukala-Ioualalen, Ahmed Hammad
- Compatibility Analysis of Time Open Workflow Nets 249-268
  Zohra Sbaï, Kamel Barkaoui, Hanifa Boucheneb
- Petra: A Tool for Analysing a Process Family 269-288
  Dennis Schunselaar, Eric Verbeek, Wil van der Aalst, Hajo A. Reijers
- An Evaluation of Automated Code Generation with the PetriCode Approach 289-306
  Kent Inge Fagerland Simonsen
- Computing Minimal Siphons in Petri Net Models of Resource Allocation Systems: An Evolutionary Approach 307-322
  Fernando Tricas, José Manuel Colom, Juan Julián Merelo

### PART IV: Short Papers

- Persistency and Nonviolence Decision Problems in P/T-Nets with Step Semantics 325-330
  Kamila Barylska

### PART V: Poster Abstracts

- Construction of Data Streams Applications from Functional, Non-Functional and Resource Requirements for Electric Vehicle Aggregators. The COSMOS Vision 333-334
  José Ángel Bañares, Rafael Tolosana-Calasanz, Fernando Tricas, Unai Arronategui, Javier Celaya, José Manuel Colom
- Modular Modeling of SMIL Documents with Complex Termination Events 335-336
  Djaouida Dahmani, Samia Mazouz, Malika Boukala
- D&A4WSC as a Design and Analysis Framework of Web Services Composition 337-338
  Rawand Guerfel, Zohra Sbaï
- Constructing Petri Net Transducers with PNTooL 339-341
  Markus Huber, Robert Lorenz
- SLAPN : A Tool for Slicing Algebraic Petri Nets 343-345
  Yasir Imtiaz Khan, Nicolas Guelfi
- Generating CA-Plans from Multisets of Services 347-348
  Łukasz Mikulski, Artur Niewiadomski, Marcin Piątkowski, Sebastian Smyczyński
- LoLA as Abstract Planning Engine of PlanICS 349-350
  Artur Niewiadomski, Karsten Wolf
- PlanICS 2.0 - A Tool for Composing Services 351-352
  Artur Niewiadomski, Wojciech Penczek
- Petri Net Simulation as a Service 353-362
  Petr Polasek, Vladimír Janoušek, Milan Ceska

2014-06-24: submitted by Daniel Moldt
2014-07-11: published on CEUR-WS.org |valid HTML5|