PNSE'11

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

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.

• 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

Victor Khomenko: Unfolding Models of Asynchronous Systems: Applications to Analysis and Synthesis

Analysis and synthesis of concurrent systems suffers from combinatorial state space explosion. That is, even a relatively small system specification can (and often does) yield a very large state space. One of the prominent techniques for alleviating this problem is based on complete prefixes of Petri net unfoldings. It relies on the partial order view of concurrent computation, and represents system states implicitly, using an acyclic Petri net. This talk describes applications of the unfolding technique to analysis of concurrent systems in general, and to verification and synthesis of asynchronous circuits in particular.

Manuel Mazzara: On Modelling and Analysis of Dynamic Reconfiguration of Dependable Systems

This talk discusses requirements for dynamic reconfiguration and offers a synopsis of well known formalisms evaluating their suitability for this application domain. Modelling and analysis of a specific case study of workflow reconfiguration is detailed.

Information about how to reach the workshop / conference site and about hotels can be found at the Petri Nets 2011 Registration.

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

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 four members of the PC. Accepted contributions will be included in the workshop proceedings, which will be available at the workshop and on this website.

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