Subject: Animation and exchanges in the Petri Nets community
List archive
- From: Daniel Moldt via Petrinet <address@concealed>
- To: <address@concealed>
- Subject: [PN-world] (PN) Joint call for papers PNSE'24 + PeNGE 2024
- Date: Tue, 23 Apr 2024 16:47:21 +0200
- Authentication-results: spool.mail.gandi.net; dkim=none; dmarc=pass (policy=none) header.from=uni-hamburg.de; spf=pass (spool.mail.gandi.net: domain of address@concealed designates 134.100.38.114 as permitted sender) address@concealed
Joint call for papers: 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 and 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 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 -2247 Secr: -2181 Petri Nets World: http://www.PetriNet.de Petri Nets and Software Engineering: http://www.PNSE.de |
- [PN-world] (PN) Joint call for papers PNSE'24 + PeNGE 2024, Daniel Moldt via Petrinet, 04/23/2024
Archive powered by MHonArc 2.6.19+.