International Workshop on Petri Nets and Software Engineering
Bratislava, Slovakia, June 25-26, 2018
a satellite event of
Petri Nets 2018 and ACSD 2018
39th INTERNATIONAL CONFERENCE ON APPLICATION AND
THEORY OF PETRI NETS AND CONCURRENCY
18th INTERNATIONAL CONFERENCE ON
APPLICATION OF CONCURRENCY TO SYSTEM DESIGN
Contact e-mail: pnse18_at_informatik_dot_uni-hamburg_dot_de
|Abstracts (full/short): ||March || 30th,|| 2018|
|Deadline for full papers: ||April || 5th,|| 2018|
|Deadline for short papers: ||April || 15th,|| 2018|
|Notification of paper acceptance: ||May || 4th,|| 2018|
|Deadline for posters: ||May || 7th,|| 2018|
|Notification of poster acceptance: ||May || 8th,|| 2018|
|Deadline for final revisions: ||May || 10th,|| 2018|
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
made it into ToPNoC volumes in the Springer LNCS series (volumes
For the successful realization 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 modeling, 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'18 (Petri nets and Software Engineering) will take place as a satellite event of Petri Nets 2018 and ACSD 2018.
The use of Petri nets (P/T-nets, colored Petri nets and extensions) in the formal process of software engineering, covering modeling, validation, and verification, will be presented as well as their application and tools supporting the disciplines mentioned above.
This year we will put an emphasize on the impact of software engineering on Petri nets by their concepts, methods, techniques and tools.
Therefore we invite contributions that work on subjects that could(!) be relevant for Petri nets, their applications or their tools.
Results on other formalisms or semi-formal techniques, their concepts, methods, tools and experiences (successful or not successful) are highly welcome.
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 and for Petri nets.
As mentioned above: Any kind of insights and results in the area of software engineering that might be relevant for Petri nets are especially invited.
The authors should then have one section on how they think what Petri nets could gain from their contribution.
Topics of interest include but are not limited to:
software in business contexts
software development and production environments; DevOps; IDEs; continuous integration
programming and concurrency
technologies: hadoop / MapReduce; akka, Spark; Flink; STORM etc.
distributed database technology: redis; cassandra; CouchDB; hadoop; mongoDB etc.
concepts for mobility, concurrency, non-determinism, distribution, embedding, flexibility
social concepts for norms, rules, contracts, communication, co-ordination, co-operation
software engineering addressing Petri nets, UML techniques, BPMN, BPEL, eEPCs, CMMN and other modeling techniques
representation of formal models by intuitive modeling concepts
guidelines for the construction of system models
process-, service-, state-, event-, component-, organization-, object-, agent- and actor-oriented approaches
adaption, integration, and enhancement of concepts from other
views and abstractions of systems
meta-modeling and domain specific languages (DSLs)
modeling software landscapes
web service-based software development
Validation and Execution
simulation, observation, animation
code generation and execution
testing and debugging
structural methods (e.g. place invariants, reduction rules)
results for structural subclasses of nets
relations between structure and behavior
state space based approaches
efficient model checking
assertional and deductive methods (e.g. temporal logics)
process algebraic methods
model and graph transformation
applications of category theory, rewriting logic and linear logic
Application of Petri nets and Software Engineering, in particular in the domains of
- education, training and teaching at any level,
- flexible manufacturing,
- big data,
- cyber-physical systems,
- grid and cloud computing,
- distributed systems,
- workflow management and
- embedded systems.
Tools in the fields mentioned above
We plan to make the workshop proceedings for PNSE'18 available online at CEUR (available from July, 2018.).
Some former volumes of the workshop can found at:
CEUR-WS.org as Volume 1846
CEUR-WS.org as Volume 1591
CEUR-WS.org as Volume 1372
CEUR-WS.org as Volume 1160
CEUR-WS.org as Volume 989
CEUR-WS.org as Volume 851 and
CEUR-WS.org as Volume 723.
Program Committee (so far; more will be added soon)
- Elvio Amparore ( Università degli Studi di Torino, Italy)
- Bernhard Bauer (Germany)
- José Ángel Bañares (University of Zaragoza, Spain)
- Robin Bergenthum (University of Hagen, Germany)
- Olivier Boissier (France)
- Lawrence Cabac (University of Hamburg, Germany)
- Piotr Chrzastowski-Wachtel (University of Warsaw, Poland)
- Gianfranco Ciardo (Iowa State University, USA)
- José-Manuel Colom (University of Zaragoza, Spain)
- Ernesto Damiani (Italy)
- Joaquín Ezpeleta Mateo (Spain)
- Giuliana Franceschinis (Università del Piemonte Orientale, Italy)
- Luciano García-Bañuelos (Estonia)
- Holger Giese (Germany)
- Nicolas Guelfi (University of Luxembourg)
- Serge Haddad (ENS Cachan, France)
- Xudong He (Florida International University, USA)
- Thomas HIldebrandt (Copenhagen University, Denmark)
- Vladimir Janousek (Brno University of Technology, Czech Republic)
- Peter Kemper (College of William and Mary, USA)
- Ekkart Kindler (Technical University of Denmark, Denmark) (Co-Chair)
- Radek Koci (University of Brno, Czech republic)
- Maciej Koutny (Newcastle University, United Kingdom)
- Lars Kristensen (Bergen University College, Norway)
- Daniel Moldt (University of Hamburg, Germany) (Co-Chair)
- Andrea Omicini (Italy)
- Richard Paige (University of York, United Kingdom)
- Wojciech Penczek (University of Podlasie, Poland)
- Laure Petrucci (University Paris Nord, France)
- Alfonso Pierantonio (Università degli Studi dell'Aquila, Italia)
- Pascal Poizat (France)
- Lucia Pomello (Università degli Studi di Milano-Bicocca, Italy)
- Franck Pommereau (University of Évry, France)
- Heiko Rölke (University of Applied Science HTW Chur, Switzerland) (Co-Chair)
- Bernhard Rumpe (RWTH Aachen University, Germany)
- Mattia Salnitri (Italy)
- Yann Thierry-Mieg (University P. & M. Curie, LIP 6, France)
- Antonio Vallecillo (University of Malaga, Spain)
- Jan Martijn van der Werf (Utrecht University, Netherlands)
- H.M.W. Eric Verbeek (Eindhoven University, Netherlands)
- Matthias Weidlich (Germany)
- Manuel Wimmer (Austria)
- Christian Zirpins (Germany)
The program committee invites submissions of
full contributions (15 (up to 20) pages) or
short contributions (5 (up to 8) pages).
Ongoing work (up to 2 pages) can also be presented in a special poster session.
Papers should be submitted in electronic form (PDF) using the Springer LNCS-format
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 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
Registration & Accommodation
Please register for the PNSE'18 workshop at the
Petri Nets 2018 Registration site.
Information about how to reach the workshop / conference site and about hotels can be found at the
Petri Nets 2018 Venue pages.