default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID44th 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 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
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.
last updated on 2026-05-19 22:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
