Animation and exchanges in the Petri Nets community

[Daniel Moldt <address@concealed>]

Joint call for papers:

PeNGE 2024 - International workshop on Petri Net games, examples and quizzes 
for education, contest and fun
   https://e.feu.de/penge
and
PNSE’24 - International Workshop on Petri Nets and Software Engineering
  https://www.informatik.uni-hamburg.de/TGI/events/pnse/pnse24/

both will take place in Geneva, Switzerland, June 24-25, 2024

For more information please see below or at the website of the main conference

https://www.unige.ch/petrinets2024/




####################################################################################################################
####################################################################################################################

CALL FOR PAPERS

PeNGE 2024 - International workshop on Petri Net games, examples and quizzes 
for education, contest and fun

GENEVA, SWITZERLAND, 25 JUNE 2024

The workshop "Petri Net games, examples and quizzes for education, contest 
and fun" is a satellite event of the 45th
International Conference on Application and Theory of Petri Nets and 
Concurrency (Petri Nets 2024). It aims to attract
short papers that present examples for the use of Petri nets for elegant 
modeling, analysis or problem solving. The
examples should be comprehensible, self-contained and ideally demonstrate 
advantages of Petri Net techniques compared to
other approaches. A particular objective of the workshop is the collection of 
examples that can be used for exemplary
mauthorsodeling or application of analysis concepts in education.

The program committee invites submission of papers (4 to 8 pages). It is 
obligatory that each paper contains at least
one nice Petri net. Papers should be submitted in electronic form (PDF) using 
the CEUR latex style:
http://ceur-ws.org/Vol-XXX/CEURART.zip

Submissions should include title, author addresses and E-mail addresses. 
Papers must be submitted as a pdf file using
EasyChair: https://easychair.org/conferences/?conf=penge2024.
We will provide online workshop proceedings. Very good contributions can be 
nominated for a volume of the journal
sub-line of Lecture Notes in Computer Science entitled "Transactions on Petri 
Nets and Other Models of Concurrency"
(ToPNoC).

Important Dates
   Paper submission deadline: May 8, 2024
   Notification of paper acceptance: May 22, 2024
   Final version due: June 6, 2024
   Workshop: June 25, 2024

Program Committee Chairs
   Jörg Desel, address@concealed
   Laure Petrucci, address@concealed

Venue
   Campus Biotech, Chemin des Mines 9, 1202 Geneva, Switzerland

Web Page
   https://e.feu.de/penge
Call for Papers in pdf-format
   https://www.fernuni-hagen.de/penge/penge2024/PeNGE2024_CFP.pdf

####################################################################################################################
####################################################################################################################

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: address@concealed

-- 
Dr. Daniel Moldt University of Hamburg, Department of Informatics, 
Vogt-Koelln-Str. 30, Room G-213,  22527 Hamburg
sender:address@concealed        
mailto:address@concealed
http://www.informatik.uni-hamburg.de/TGI/moldt 
Tel: (+49) (0) 40 428 83 Secr: -2181

Petri Nets World: http://www.PetriNet.de
Petri Nets and Software Engineering: http://www.PNSE.de