[fg-arc] Joint call for papers PNSE'24 + PeNGE 2024
Daniel Moldt
Daniel.Moldt at Uni-Hamburg.DE
Sat Apr 6 13:48:02 CEST 2024
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
Submissions until: May 8, 2024
and
PNSE’24 - International Workshop on Petri Nets and Software Engineering
https://www.informatik.uni-hamburg.de/TGI/events/pnse/pnse24/
Submissions until: April 30, 2024
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, Joerg.Desel at fernuni-hagen.de
Laure Petrucci, Laure.Petrucci at lipn.univ-paris13.fr
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: pnse24 at easychair.org
--
Dr. Daniel Moldt University of Hamburg, Department of Informatics,
Vogt-Koelln-Str. 30, Room G-213, 22527 Hamburg
sender:Daniel.Moldt at Uni-Hamburg.DE
mailto:Moldt at Informatik.Uni-Hamburg.DE
http://www.informatik.uni-hamburg.de/TGI/moldt
Tel: (+49) (0) 40 428 83 Secr: -2181
Mobile/Signal: (+49) (0) 176 311 75 773
Petri Nets World: http://www.PetriNet.de
Petri Nets and Software Engineering: http://www.PNSE.de
More information about the fg-arc
mailing list