PNSE 2024

Submission timeline

• 22 Mar 2024 Abstract registration
• 30 Apr 2024 Full paper 31 Mar 2024 → 30 Apr 2024 +30 days
• 21 May 2024 Notification 5 May 2024 → 21 May 2024 +16 days

• 24 Jun 2024 Conference opens

What to submit

Format

20 pages LNCS (full) + references / 5-8 pages (short) / 3 (ongoing, poster)

Proceedings

CEUR-WS

A satellite event of Petri Nets. Some of the best papers will be invited for publication in LNCS "Transactions on Petri Nets and Other Models of Concurrency" (ToPNoC).

Call for papers

• After a deadline extension PNSE-2024-extended.txt · TXT · shown below
• As first published PNSE-2024.txt · TXT

The call, as published

Reproduced verbatim from the organisers’ announcement, after a deadline extension. 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’24, Geneva, Switzerland, June 24-25, 2024
    http://www.pnse.de


    PNSE’24 is a satellite event of PETRI NETS’24
    https://www.unige.ch/petrinets2024/

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:

Deadline for full papers:            30 April    2024
Deadline for short papers:         30 April        2024
Notification of paper acceptance:    21    May        2024
Deadline for posters:            22    May        2024
Notification of poster acceptance:    23    May        2024
Deadline for final revisions:        3 June        2024
Workshop Date:                   24/25    June    2024





                                   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 online conference management system at

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


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
as is standard practice for journal papers.


            PC Chairs

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


In case of any problems please contact us by email: pnse24@easychair.org