PNSE 2014
Petri Nets and Software Engineering 2014

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