![](https://dblp.uni-trier.de./img/logo.320x120.png)
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
44th Petri Nets 2023: Lisbon, Portugal
- Luís Gomes
, Robert Lorenz:
Application and Theory of Petri Nets and Concurrency - 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings. Lecture Notes in Computer Science 13929, Springer 2023, ISBN 978-3-031-33619-5
Invited Papers
- Stefanie Rinderle-Ma
, Janik-Vasily Benzin
, Juergen Mangler
:
From Process-Agnostic to Process-Aware Automation, Mining, and Prediction. 3-15 - Midhun Xavier
, Sandeep Patil
, Victor Dubinin
, Valeriy Vyatkin
:
Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems Inspired by Net Condition/Event Systems. 16-33
Process Mining
- Daniël Barenholz, Marco Montali, Artem Polyvyanyy, Hajo A. Reijers
, Andrey Rivkin, Jan Martijn E. M. van der Werf:
There and Back Again - On the Reconstructability and Rediscoverability of Typed Jackson Nets. 37-58 - Sabine Folz-Weinstein, Robin Bergenthum, Jörg Desel, Jakub Kovár
:
ILP2 Miner - Process Discovery for Partially Ordered Event Logs Using Integer Linear Programming. 59-76 - Felix Mannhardt
, Sander J. J. Leemans
, Christopher T. Schwanen
, Massimiliano de Leoni
:
Modelling Data-Aware Stochastic Processes - Discovery and Conformance Checking. 77-98 - Dominique Sommers, Natalia Sidorova, Boudewijn F. van Dongen:
Exact and Approximated Log Alignments for Processes with Inter-case Dependencies. 99-119
Semantics
- Nick Würdemann
, Thomas Chatain
, Stefan Haar:
Taking Complete Finite Prefixes to High Level, Symbolically. 123-144 - Ryszard Janicki
, Maciej Koutny
, Lukasz Mikulski
:
Interval Traces with Mutex Relation. 145-166 - Uli Fahrenberg, Krzysztof Ziemianski
:
A Myhill-Nerode Theorem for Higher-Dimensional Automata. 167-188
Tools
- Remigiusz Wisniewski
, Grzegorz Bazydlo
, Marcin Wojnakowski
, Mateusz Poplawski
:
Hippo-CPS: A Tool for Verification and Analysis of Petri Net-Based Cyber-Physical Systems. 191-204 - Loïc Hélouët
, Antoine Thébault
:
Mochy: A Tool for the Modeling of Concurrent Hybrid Systems. 205-216 - Daniel Moldt, Jonte Johnsen, Relana Streckenbach, Laif-Oke Clasen, Michael Haustermann, Alexander Heinze, Marcel Hansson, Matthias Feldmann, Karl Ihlenfeldt:
RENEW: Modularized Architecture and New Features. 217-228 - Yisong Zhang
, Wil M. P. van der Aalst
:
Explorative Process Discovery Using Activity Projections. 229-239
Verification
- Seyedehzahra Hosseini
, Gianfranco Ciardo
:
Computing Under-approximations of Multivalued Decision Diagrams. 243-263 - Florian Wittbold
, Rebecca Bernemann
, Reiko Heckel
, Tobias Heindel
, Barbara König
:
Stochastic Decision Petri Nets. 264-285 - Robin Bergenthum, Sabine Folz-Weinstein, Jakub Kovár
:
Token Trail Semantics - Modeling Behavior of Petri Nets with Labeled Petri Nets. 286-306 - Raymond R. Devillers:
On the Reversibility of Circular Conservative Petri Nets. 307-323 - Nicolas Amat
, Silvano Dal-Zilio
, Didier Le Botlan
:
Automated Polyhedral Abstraction Proving. 324-345 - Sami Evangelista
:
Experimenting with Stubborn Sets on Petri Nets. 346-365
Timed Models
- Jaime Arias
, Kyungmin Bae
, Carlos Olarte
, Peter Csaba Ölveczky
, Laure Petrucci
, Fredrik Rømming
:
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. 369-392 - Loriane Leclercq
, Didier Lime
, Olivier H. Roux
:
A State Class Based Controller Synthesis Approach for Time Petri Nets. 393-414
Model Transformation
- Vlad Paul Cosma
, Thomas T. Hildebrandt, Tijs Slaats:
Transforming Dynamic Condition Response Graphs to Safe Petri Nets. 417-439 - Daniel Moldt, Marcel Hansson, Lukas Seifert, Karl Ihlenfeldt, Laif-Oke Clasen, Kjell Ehlers, Matthias Feldmann:
Enriching Heraklit Modules by Agent Interaction Diagrams. 440-463
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.