MIN Faculty
Department of Informatics
Theoretical Foundations of Computer Science

PNSE'12

International Workshop on Petri Nets and Software Engineering

Hamburg, Germany, June 25-26, 2012

a satellite event of

Petri Nets 2012 and ACSD 2012
33nd INTERNATIONAL CONFERENCE ON APPLICATION AND
THEORY OF PETRI NETS AND CONCURRENCY
and
12th INTERNATIONAL CONFERENCE ON
APPLICATION OF CONCURRENCY TO SYSTEM DESIGN

More information: http://www.informatik.uni-hamburg.de/TGI/events/pn-acsd2012/

Contact e-mail: pnse12_at_informatik_dot_uni-hamburg_dot_de

Important Dates:
Abstracts should be submitted now to get us informed
Deadline for full papers: April 15th, 2012
Deadline for short papers: April 15th, 2012
Notification of paper acceptance: May 13th, 2012
Deadline for posters: May 16th, 2012
Notification of poster acceptance: May 18th, 2012
Deadline for final revisions: June 1st, 2012

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 and PNSE'10) made it into ToPNoC volumes in the Springer LNCS series (volumes 5100, 5460 and 5800).

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'12 (Petri nets and Software Engineering) will take place as a satellite event of Petri Nets 2012.

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
    •  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
  • 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'12 are now available online at
CEUR-WS.org as Volume 851.


Invited Speakers

Wolfgang Reisig: What should we teach about Petri nets?
I challenge the traditional choice of topics and the usual style of presentation for introductory courses on Petri nets. For such a course I suggest a number of aspects that usually are not considered fundamental. This includes faithful models, a slight revision of formalisms and terminology, specific techniques to increase the expressive power of Petri net models, aspects derived from distributed runs, and particular mathematics to specify and verify properties of Petri net models.
More invited talks
Invited talks are joint sessions of all Petri Nets 2012 satellite workshops. All invited talks are listed at the main conference website.



Accepted Contributions

  • Kees Van Hee, Natalia Sidorova and Jan Martijn Van Der Werf. Can We Trust a Third Party? - A Soundness Perspective
  • Agata Janowska, Wojciech Penczek, Agata Polrola and Andrzej Zbrzezny. Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets
  • Michael Westergaard, Dirk Fahland and Christian Stahl. Grade/CPN: Semi-automatic Support for Teaching Petri Nets by Checking Many Petri Nets Against One Specification
  • Yann Ben Maissa, Fabrice Kordon, Salma Mouline and Yann Thierry-Mieg. Modeling and Analyzing Wireless Sensor Networks with VeriSensor
  • Wojciech Penczek and Michał Knapik. SMT-based parameter synthesis for L/U automata
  • Matthias Wester-Ebbinghaus and Michael Köhler-Bußmeier. Model-Driven Middleware Support for Team-Oriented Process Management
  • Anna Dedova and Laure Petrucci. From Code to Coloured Petri Nets: Modelling Guidelines
  • Kamila Agata Barylska and Edward Ochmański. Hierarchy of persistency with respect to the length of action’s disability
  • Luca Bernardinello, Elisabetta Mangioni and Lucia Pomello. Local state refinement on Elementary Net Systems: an approach based on morphisms
  • Nicolás Cardozo, Jorge Vallejos, Sebastián González, Kim Mens and Theo D'Hondt. Context Petri Nets: Enabling Consistent Composition of Context-dependent Behavior
  • Thomas Irgang, Andreas Harrer and Robin Bergenthum. MuPSi - a multitouch Petri net simulator for transition steps
  • Julian Burkhart and Michael Haustermann. PetriPad – A Collaborative Petri Net Editor
  • Thomas Wagner. Agentworkflows for Flexible Workflow Execution
  • Sofiane Bendoukha and Thomas Wagner. Cloud Transition: Integrating Cloud Calls into Workflow Petri Nets
  • Luca Bernardinello and Francesco Adalberto Bianchi. A Concurrent Simulator for Petri Nets Based on the Paradigm of Actors of Hewitt
  • Toshiyuki Miyamoto and Yasuwo Hasegawa. A Petri Net Approach to Synthesize Intelligible State Machine Models from Choreography
  • Robert Lorenz, Markus Huber, Christoph Etzel and Dan Zecha. SYNOPS - Generation of Partial Languages and Synthesis of Petri Nets
  • Radek Koci and Vladimir Janousek. Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study
  • Dominic Dibbern. Porting the Renew Petri Net Simulator to the Operating System Android
  • Jan Bolte. SonarEditor: A Tool for Multi-Agent-Organizations Modelling

PNSE'12 Programme

Monday, June 25th

08:45 – 09:00  

  • Opening

09:00 – 10:00   Invited Talk (Room B-201 Informatics Campus):

  • Wolfgang Marwan
    Petri Nets - an Integrative Framework for Advanced Biomodel Engineering

10:00 – 10:15   Break

10:15 – Session 1 (Room F-132 Informatics Campus):

  • Kees Van Hee, Natalia Sidorova and Jan Martijn Van Der Werf
    When Can We Trust a Third Party? - A Soundness Perspective
  • Agata Janowska, Wojciech Penczek, Agata Pólrola and Andrzej Zbrzezny
    Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets

11:15   Break

11:45 - Session 2 (Room F-132 Informatics Campus):

  • Luca Bernardinello, Elisabetta Mangioni and Lucia Pomello
    Local state refinement on Elementary Net Systems: an approach based on morphisms
  • Nicolás Cardozo, Jorge Vallejos, Sebastián González, Kim Mens and Theo D’Hondt
    Context Petri Nets: Enabling Consistent Composition of Context-dependent Behavior
  • Thomas Irgang, Andreas Harrer and Robin Bergenthum
    MuPSi - a multitouch Petri net simulator for transition steps
  • Julian Burkhart and Michael Haustermann
    PetriPad – A Collaborative Petri Net Editor

13:15   Lunch

14:45 - Session 3 (Room F-132 Informatics Campus):

  • Matthias Wester-Ebbinghaus and Michael Köhler-Bußmeier
    Model-Driven Middle-ware Support for Team-Oriented Process Management
  • Joint Talk with LAM Short Break
  • Michael Westergaard, Dirk Fahland and Christian Stahl
    Grade/CPN: Semi-automatic Support for Teaching Petri Nets by Checking Many Petri Nets Against One Specification
  • Wojciech Penczek and Michał Knapik
    SMT-based parameter synthesis for L/U automata

16:20   Break

16:45 - Invited Talk (Room B-201 Informatics Campus):

  • Julia Padberg
    Reconfigurable Petri Nets: Modeling and Analysis

17:45   End of talks

Tuesday, June 21st

09:00 – 10:00   Invited Talk (Room B-201 Informatics Campus):

  • Karsten Wolf
    Developing and Integrating Petri net tools - an experience report

10:00 – 10:15   Break

10:15 - Joint Session with WooPS (Room D-125 Informatics Campus):

  • Carlo Ferigato, Elisabetta Mangioni
    Inference of Local Properties in Petri Nets Composed through an Interface
  • Michael Köhler-Bußmeier
    Analysing Model Transformations in SONAR
  • Yann Ben Maissa, Fabrice Kordon, Salma Mouline and Yann Thierry-Mieg
    Modeling and Analyzing Wireless Sensor Networks with VeriSensor

11:45   Break

12:00 - Poster- and Tool-Session (Room: D-125 Informatics Campus)

13:15   Lunch

15:00 - Session 5 (Room: C-221 Informatics Campus):

  • Kamila Agata Barylska and Edward Ochmański
    Hierarchy of persistency with respect to the length of action’s disability
  • Anna Dedova and Laure Petrucci
    From Code to Coloured Petri Nets: Modelling Guidelines
  • Closing

16:15   Break

16:45 - Invited Talk (Room B-201 Informatics Campus):

  • Wolfgang Reisig
    What should we teach about Petri nets?

17:45   End of talks



Programme committee



Registration & Accommodation

Please register for the PNSE'12 workshop at the Petri Nets 2012 Registration site.

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


Submissions

(The call for papers is also available as [PDF] or [TXT] document.)

The programme committee invites submissions of full contributions (up to 15 pages) or short contributions (up to 5 pages). Ongoing work (up to 2 pages) can also be presented in a special poster session.

Please note that for full contributions up to 15 pages are recommended.

Papers should be submitted in electronic form (PDF) using the Springer LNCS-format (see http://www.springer.de/comp/lncs/authors.html). Submissions should include title, authors' addresses, E-mail addresses, keywords and an abstract. For your submission in PDF format please use the online conference management system at

http://www.easychair.org/conferences/?conf=pnse12

Just create a new account and then upload your paper. (Later you will be able to see your reviews there.)

The papers will be peer reviewed by at least three members of the PC. Accepted contributions will be included in the workshop proceedings, which will be available at the workshop and published online.

In case of any problems please contact us by email at pnse12_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.

For further information on PNSE'12 contact the programme committee by email at pnse12_at_informatik_dot_uni-hamburg_dot_de