Zur Hauptnavigation Zum Inhaltsbereich Zur Suche Zum Seitenfuß

PNSE'14

PNSE'14

International Workshop on Petri Nets and Software Engineering

Tunis, Tunisia, June 23-24, 2014

a satellite event of

Petri Nets 2014
35th International Conference on Application and Theory of Petri Nets and Concurrency and
ACSD 2014
14th International Conference on Application of Concurrency to System Design

More information: http://www2.informatik.uni-hamburg.de/tgi/events/pnse14/

Contact e-mail: pnse14_at_informatik_dot_uni-hamburg_dot_de

Some of the best papers from the workshop will be invited for publication in a volume of the journal sub line of Lecture Notes in Computer Science entitled "Transactions on Petri Nets and Other Models of Concurrency" (ToPNoC). The papers are expected to be thoroughly revised and they will go through a totally new round of reviewing as is standard practice for journal papers.
Papers from previous instances of this workshop (PNSE'07, PNDS'08, PNSE'09, PNSE'10, PNSE'11, PNSE'12 and PNSE'13) made it into ToPNoC volumes in the Springer LNCS series (volumes 5100, 5460, 5800, 6550, 6900 and 7400).

Scope

For the successful realisation of complex systems of interacting and reactive software and hardware components the use of a precise language at different stages of the development process is of crucial importance. Petri nets are becoming increasingly popular in this area, as they provide a uniform language supporting the tasks of modelling, validation, and verification. Their popularity is due to the fact that Petri nets capture fundamental aspects of causality, concurrency and choice in a natural and mathematically precise way without compromising readability.

The workshop PNSE'14 (Petri Nets and Software Engineering) will take place as a satellite event of Petri Nets 2014 and ACSD 2014.

The use of Petri Nets (P/T-Nets, Coloured Petri Nets and extensions) in the formal process of software engineering, covering modelling, validation, and verification, will be presented as well as their application and tools supporting the disciplines mentioned above.

Topics

We welcome contributions describing original research in topics related to Petri nets in combination with software engineering, addressing open problems or presenting new ideas regarding the relation of Petri nets and software engineering. Furthermore we look for surveys addressing open problems and new applications of Petri nets. Topics of interest include but are not limited to:
  • Modelling
    •  representation of formal models by intuitive modelling concepts
    •  guidelines for the construction of system models
    •  representative examples
    •  process-, service-, state-, event-, object- and agent-oriented approaches
    •  adaption, integration, and enhancement of concepts from other disciplines
    •  views and abstractions of systems
    •  model-driven architecture
    •  modelling software landscapes
    •  web service-based software development
  • Validation and Execution
    •  prototyping
    •  simulation, observation, animation
    •  code generation and execution
    •  testing and debugging
    •  process mining
    •  efficient implementation
  • Verification
    •  structural methods (e.g. place invariants, reduction rules)
    •  results for structural subclasses of nets
    •  relations between structure and behaviour
    •  state space based approaches
    •  efficient model checking
    •  assertional and deductive methods (e.g. temporal logics)
    •  process algebraic methods
    •  applications of category theory and linear logic
    •  general analysis for software engineering contexts
  • Application of Petri nets in Software Engineering, in particular the use of Petri nets in the domains of
    •  flexible manufacturing,
    •  logistics,
    •  telecommunication,
    •  workflow management and
    •  embedded systems.
  • Tools in the fields mentioned above


Proceedings

The workshop proceedings for PNSE'14 will be available online at
CEUR-WS.org as volume number 1160 .
It will be available from 30.06.14 onwards.

Invited Speaker

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

Accepted Contributions

Kais Klai: On-The-Fly Model Checking of Timed Properties on Time Petri Nets
Artur Niewiadomski and Wojciech Penczek: PlanICS 2.0 - a Tool for Composing Services
Artur Niewiadomski and Karsten Wolf: LoLA as Abstract Planning Engine of PlanICS
Artur Niewiadomski and Wojciech Penczek: SMT-based Abstract Temporal Planning
Yasir Imtiaz Khan and Nicolas Guelfi: Slicing High-level Petri nets
Fernando Tricas, José Manuel Colom and Juan Julián Merelo: Computing minimal siphons in Petri net models of Resource Allocation Systems: an evolutionary approach
Ning Ge and Marc Pantel: Real-Time Property Specific Reduction for Time Petri Net
Messaoud Rahim, Malika Boukala-Ioualalen and Ahmed Hammad: Petri Nets Based Approach for Modular Verification of SysML Requirements on Activity Diagrams
Dahmani Djaouida, Mazouz Samia and Boukala Malika: Modular Modeling of SMIL Documents with Complex Termination Events
Dennis Schunselaar, Eric Verbeek, Wil van der Aalst and Hajo A. Reijers: Petra: A Tool for Analysing a Process Family
Djaouida Dahmani, Mohand Cherif Boukala and Hassan Mountassir: Reusing and Adapting components using Petri Nets with Synchronous Transitions
Ikhlef Lyes, Lekadir Ouiza and Djamil Aissani: Performance Analysis of M/G/1 Retrial Queue with Finite Source Population Using Markov Regenerative Stochastic Petri Nets
Jörg Desel and Görkem Kılınç: Liveness Implies Observable Liveness if Uncontrollable Behavior is Deterministic
José Ángel Bañares, Rafael Tolosana-Calasanz, Fernando Tricas, Unai Arronategui, Javier Celaya and José Manuel Colom: Construction of Data Streams Applications from Functional, Non-Functional and Resource Requirements for Electric Vehicle Aggregators. The COSMOS vision
Kerstin Irgang and Thomas Irgang: Visual Language Plans - Formalization of a Pedagogical Learnflow Modeling Language
Luca Bernardinello, Lucia Pomello and Stefano Scaccabarozzi: Morphisms on Marked Graphs
Lukasz Mikulski, Marcin Piątkowski, Sebastian Smyczyński and Artur Niewiadomski: On Generation of Context-Abstract Plans from Multisets of Services
Markus Huber and Robert Lorenz: Constructing Petri Net Transducers with PNTool
Mihai Lica Pura and Didier Buchs: Using Symbolic Techniques and Algebraic Petri Nets to Model Check Security Protocols for Ad Hoc Networks
Petr Polasek, Vladimir Janousek and Milan Ceska: Petri Net Simulation as a Service
Ramchandra Phawade and Kamal Lodaya: Kleene theorems for labelled free choice nets
Rawand Guerfel and Zohra Sbaï: D\&A4WSC as a Design and Analysis framework of Web services composition
Robin Bergenthum and Joachim Schick: Verification of Logs - Revealing Faulty Processes of a Medical Laboratory
Yasir Imtiaz Khan and Nicolas Guelfi: SLAPn: A Tool for Slicing Algebraic Petri nets
Zohra Sbaï, Kamel Barkaoui and Hanifa Boucheneb: Compatibility Analysis of Time Open Workflow Nets
Kamila Barylska: Persistency and Nonviolence Decision Problems in p/t-nets with step semantics
Kent Inge Fagerland Simonsen: An Evaluation of Automated Code Generation with the PetriCode Approach

Programme PNSE'14

The timeline of the programme can be found here.

Programme committee


Registration & Accommodation

Please register for the PNSE'14 workshop at the Petri Nets 2014 Registration site.

Information about how to reach the workshop / conference site and about hotels can be found at the Petri Nets 2014 Travel pages.

The papers have been peer reviewed by at least three members of the PC. Some of the best papers from the workshop will be invited for publication in a volume of the journal sub-line of Lecture Notes in Computer Science entitled "Transactions on Petri Nets and Other Models of Concurrency" (ToPNoC). The papers are expected to be thoroughly revised and they will go through a totally new round of reviewing as is standard practice for journal papers.

For further information on PNSE'14 contact the programme committee by email at pnse14_at_informatik_dot_uni-hamburg_dot_de
Imprint/Disclaimer
Last Change: 13:26 07/20/2015   Seitenanfang