Important Dates:
| Workshop Date: | 24 (regular contributions) / 25 (invited talk) | June | 2024 |
Invited Speaker:
Lifting Process Discovery and Conformance Checking to the Next Level: A General Approach to Object-Centric Process Mining
(The PNSE'24 program schedule can be found here:
Program of PNSE 2024 as pdf )
List of Papers:
Long presentations:
- Francesco Di Cosmo, Soumodev Mal and Tephilla Prince: Deciding Reachability and Coverability in Lossy EOS
- Julia n Gaede, Judith-Henrike Overath and Sophie Wallner: Automatic Modularization of Place/Transition Nets
- Franck Pommereau and Cedric Gaucherel: A multivalued, spatialized, and timed modelling language for social-ecological systems
- Maciej Koutny and Marta Pietkiewicz-Koutny: Synthesising ENI-Systems with Interval Order Semantics
Short presentations:
- Kamila Barylska and Anna Gogolinska: Petri nets in modeling glucose regulating processes in the liver
- Luis Gomes, José Ribeiro-Gomes and Joao-Paulo Barros: Using Petri nets for analysis of navigation paths in constrained graphs - application to roguelike games
- Nadiyah Almutairi, Tuwailaa Alshammari and Mohammed Alahmadi: Process Mining representation using Communication Structured Acyclic Nets (CSA-nets)
- Simon Bott, Daniel Moldt, Laif-Oke Clasen and Marcel Hansson: Discussion of Verification and Modeling of some new P/T-Nets with Synchronous Channels
- Akshit Rajput, Karnika Shivhare and Rushikesh Joshi: PLD-SiM: Process Line Diagram Simulator and Modeler
- Nuno Fernandes, João Paulo Barros and Rogério Campos-Rebelo: Leveraging High-Level Petri Nets for Cyber-Physical Systems Development
- Karsten Wolf: How to Verify Aggregating Global Properties
- Laif-Oke Clasen, Sophie Bartelt, Yannik Stahl and Daniel Moldt: Distributed P/T Net Simulation Prototypes Based on Event Streaming
- Thomas M. Prinz, Julien Klaus and Nick van Beest: Pushing the Limits: Concurrency Detection in Acyclic Sound Free-Choice Workflow Nets in O(P^2 + T^2)
- Jose Ignacio Requeno, Elena Gómez-Martínez, Hannes Kallwies, Melanie Haustein, Martin Leucker, Volker Stolz and Patrick Stünkel: Runtime Verification of Timed Petri Nets
- Tuwailaa Alshammari: Extracting data from unstructured crime text to represent in Structured Occurrence Nets using Natural Language Processing
- Michael Köhler-Bußmeier and Heiko Rölke: Design of Multi-Agent Organisations: Predicting Co-Evolutionary Adaption
- Lorenzo Capra, Michael Köhler-Bußmeier, Heiko Rölke and Jan Sudeikat The Life-Cycle of Sonar-Models: A Round Trip for Models from Design to Run-Time and Back Again
Poster presentations:
- Karnika Shivhare and Rushikesh K. Joshi: Mining Modular Structure of Processes using Process Line Diagrams
- Mustafa Ghani and Holger Giese: Portable Nets: Modeling and Verification of Business Processes with multiple start and end points
- Nicola Cotumaccio and Catia Trubiani: Convex Petri Nets
Program committee
For the successful realization 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 modeling, simulation, validation, and verification.
Their popularity is due to the fact that Petri nets capture fundamental aspects of causality, concurrency and choice in a natural and mathematically precise way without compromising readability.
The workshop PNSE'24 (Petri nets and Software Engineering) will take place as a satellite event of Petri Nets 2024.
The use of Petri nets (P/T-nets, colored Petri nets and extensions) in software engineering, covering modeling, validation, and verification, will be presented as well as their application and tools supporting the disciplines mentioned above.
This year we will put an emphasize on the impact of software engineering in general and its model based development on Petri nets by their concepts, methods, techniques and tools.
Therefore we especially invite contributions that work on subjects that could(!) be relevant for Petri nets, their applications or their tools.
Results on other formalisms or semi-formal techniques, their concepts, methods, tools and experiences (successful or not successful) are highly welcome.
As model based development has proven to be very successful, we want to discuss ideas, applications, concepts, foundations and recent results from the area of modeling during the workshop.
Communication is based on models, therefore, the transformation from domain models to software models and back are major tasks that we want to discuss during the workshop from several perspectives.
Last but not least, in the context of any organizational institution, the roles of modeling and how to use concepts, methods or tools for modeling may be addressed
The idea is to inspire the Petri nets community with new ideas, insights, relevant concepts, etc.
In case that you still have doubts if your contribution will fit:
Just contact the PC-Chairs!
Topics
We welcome contributions describing original research in topics from Petri nets, software engineering or modeling.
Topics of interest include but are not limited to:
-
Software Engineering
-
agile development
-
product lines
-
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; hadoop; 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 modeling techniques
-
Petri nets
-
validation, execution, simulation, observation, animation, code generation, testing, debugging, implementation and prototyping
-
verification, behavioral and structural methods, state space based approaches, model checking
-
process mining
-
assertional and deductive methods (e.g. temporal logics)
-
process algebraic methods
-
Modeling
-
modeling technique variants and their semantics
-
foundations and basic concepts covering concepts such as concurrency, non-determinism, correctness, mobility, distribution etc.
-
evaluation of modeling languages, techniques, methods and tools
-
patterns for models and for modeling
-
collaborative modeling research
-
domain specific languages
-
syntax, semantics and pragmatics of modeling and its languages
-
model and graph transformation
-
Applications 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,
- Internet of Things and Industry 4.0,
- Smart Cities and Social Networks,
- distributed software development,
- workflow management and
- embedded systems.
-
Tools, case studies, usability studies and applications in the fields mentioned above
Proceedings
We plan to make the workshop proceedings for PNSE'24 available online at CEUR (available from August, 2024.).
Some former volumes of the workshop can be found at:
CEUR-WS.org as Volume 3430
CEUR-WS.org as Volume 3170
CEUR-WS.org as Volume 2907
CEUR-WS.org as Volume 2651
CEUR-WS.org as Volume 2424
CEUR-WS.org as Volume 2138
CEUR-WS.org as Volume 1846
CEUR-WS.org as Volume 1591
CEUR-WS.org as Volume 1372
CEUR-WS.org as Volume 1160
CEUR-WS.org as Volume 989
CEUR-WS.org as Volume 851 and
CEUR-WS.org as Volume 723.
Some of 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.
Papers from previous instances of this workshop
(PNSE'07,
PNDS'08,
PNSE'09,
PNSE'10,
PNSE'11,
PNSE'12,
PNSE'13,
PNSE'14,
PNSE'15,
PNSE'16,
PNSE'17,
PNSE'18,
PNSE'19,
PNSE'20,
PNSE'21,
PNSE'22 and
PNSE'23)
made it into ToPNoC volumes in the Springer LNCS series (volumes
5100,
5460,
5800,
6550,
6900,
7400,
7480,
8100,
8910,
9410,
9930,
10470,
11090,
11790,
13220) and
14150).
Here you can finde the links to the proceedings of the Petri Net conferences on Springerlink.
Submissions
The program committee invites submissions of
full contributions (20 pages excluding references) or
short contributions (5 - 8 pages excluding references).
Ongoing work (up to 3 pages including references) can also be presented in a special poster session.
Submission Guidelines
The program committee invites submissions of
full contributions (20 pages excluding references) or
short contributions (5 - 8 pages excluding references).
Ongoing work (up to 3 pages including references) can also be presented in a special poster session.
This year the formatting of papers is different from the previous years.
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, 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 by at least three members of the PC.
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).
Springer Website of book series
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.
In case of any questions or problems please contact us by email at
pnse24@easychair.org.
Participation: Just register via the conference website!
Petri Nets 2024 Registration site.
Please register for the PNSE'24 workshop at the
Petri Nets 2024 Registration site.
Information about hotels and about how to reach the workshop / conference site can be found at the
Petri Nets 2024 Accommodation page and
Petri Nets 2024 Venue: Campus Biotech, Chemin des Mines 9, 1202 Geneva, Switzerland..
https://www2.informatik.uni-hamburg.de/tgi/events/pnse24/
Letzte Änderung: 19:49 21.06.2024
|
