conferences.computer.science

All conferences / PNSE / 2026

PNSE 2026

International Workshop on Petri Nets and Software Engineering

Held22 Jun 2026 WhereHamburg 🇩🇪 RankCORE absent Website www.informatik.uni-hamburg.de/TGI/events/pnse/index.html/ ↗
Closed

Submission closed on 30 Mar 2026.

Submission timeline

  • 23 Mar 2026 Abstract registration
  • 30 Mar 2026 Full paper
  • 30 Apr 2026 Notification
  • 22 Jun 2026 Conference opens

What to submit

Format
20 pages LNCS (full) + references / 5-8 pages (short) / 3 (ongoing, poster)
Proceedings
CEUR-WS
Reviewing
Single blind
Journal
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.
Co-located with
A satellite event of Petri Nets

This year we celebrate the 100th birthday of Carl Adam Petri. The conference takes place in Hamburg where Petri held an honorary professorship.

Call for papers

The call, as published

Reproduced verbatim from the organisers’ announcement. The conference’s own page is at www.informatik.uni-hamburg.de/TGI/events/pnse/index.html/.

Call for Papers

	International Workshop on Petri Nets and Software Engineering
	PNSE’26, Hamburg, Germany, June 22, 2026
	http://www.pnse.de/	

	PNSE’26 is a satellite event of PETRI NETS’26 
	47th International Conference on Application and Theory of Petri Nets and Concurrency
	https://conf-2026.petrinet.net/


This year we celebrate the 100th birthday of Carl Adam Petri. 

The conference takes place in Hamburg where Petri held an honorary professorship.



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. 

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.



                              Important Dates:

Abstracts:					23	March	2026
Deadline for papers:			30	March	2026
Notification of paper acceptance:	30	April		2026
Deadline for posters:			4	May		2026
Notification of poster acceptance:	6	May		2026
Deadline for final revisions:		8	May		2026




                                    Topics

Topics of interest include (but are not limited to):

 - Software Engineering
    agile development
    product lines
    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; 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 modelling techniques
 
 - Modelling
    representation of formal models by intuitive modelling concepts
    guidelines for the construction of system models
    adaption, integration, and enhancement of concepts from other disciplines
    views and abstractions of systems
    meta-modelling and domain specific languages (DSLs)
    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
    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,
    logistics,
    telecommunication,
    big data,
    cyber-physical systems,
    internet-of-things,
    grid and cloud computing,
    distributed systems,
    workflow management and
    embedded systems.

 - Tools in the fields mentioned above



                               Submissions

The program committee invites submissions of full contributions (up to
20 pages excluding references) or short contributions (5 - 8 pages 
excluding references). Ongoing work (up to 3 pages including references) 
can be presented in a special poster session.

Papers must be submitted in electronic form (PDF) using the CEUR latex style:

	http://ceur-ws.org/Vol-XXX/CEURART.zip

Submissions should include title, authors' addresses, E-mail addresses, 
keywords and an abstract. For your submission please use the track
"International Workshop on Petri Nets and Software Engineering 2026" at:

	https://easychair.org/conferences/?conf=petrinets2026

The papers will be peer reviewed. Accepted contributions will be
included in the workshop proceedings, which will be available at the
workshop and published online.

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.




			PC Chairs

Daniel Moldt, University of Hamburg, Germany
Heiko Rölke, FH Graubünden, Austria
Michael Köhler-Bußmeier, University of Applied Science Hamburg, Germany


In case of any comments, questions or problems please contact us via email: pnse26@easychair.org







Data entirely hand-typed, one call for papers at a time. There is no scraper behind any of this: I read the announcement and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers then move deadlines without telling anyone, calls get edited in place, and now and then the typing is simply wrong. Treat this as a well-meaning notebook rather than an authority, and check the conference’s own page before you submit anything you care about.