default search action

combined dblp search
author search
venue search
publication search

ask others

44th Petri Nets 2023: Lisbon, Portugal

> Home > Conferences and Workshops > Petri Nets

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/apn/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/2023
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

- view
  authority control:
- export record
  dblp key:
  - conf/apn/RinderleMaBM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/RinderleMaBM23
Stefanie Rinderle-Ma, Janik-Vasily Benzin, Juergen Mangler:
From Process-Agnostic to Process-Aware Automation, Mining, and Prediction. 3-15
- view
  authority control:
- export record
  dblp key:
  - conf/apn/XavierPDV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/XavierPDV23
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

- view
  authority control:
- export record
  dblp key:
  - conf/apn/BarenholzMPRRW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BarenholzMPRRW23
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
- view
  authority control:
- export record
  dblp key:
  - conf/apn/FolzWeinsteinBDK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/FolzWeinsteinBDK23
Sabine Folz-Weinstein, Robin Bergenthum, Jörg Desel, Jakub Kovár:
ILP² Miner - Process Discovery for Partially Ordered Event Logs Using Integer Linear Programming. 59-76
- view
  authority control:
- export record
  dblp key:
  - conf/apn/MannhardtLSL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/MannhardtLSL23
Felix Mannhardt, Sander J. J. Leemans, Christopher T. Schwanen, Massimiliano de Leoni:
Modelling Data-Aware Stochastic Processes - Discovery and Conformance Checking. 77-98
- view
  authority control:
- export record
  dblp key:
  - conf/apn/SommersSD23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/SommersSD23
Dominique Sommers, Natalia Sidorova, Boudewijn F. van Dongen:
Exact and Approximated Log Alignments for Processes with Inter-case Dependencies. 99-119

Semantics

- view
  authority control:
- export record
  dblp key:
  - conf/apn/WurdemannCH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/WurdemannCH23
Nick Würdemann, Thomas Chatain, Stefan Haar:
Taking Complete Finite Prefixes to High Level, Symbolically. 123-144
- view
  authority control:
- export record
  dblp key:
  - conf/apn/JanickiKM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/JanickiKM23
Ryszard Janicki, Maciej Koutny, Lukasz Mikulski:
Interval Traces with Mutex Relation. 145-166
- view
  authority control:
- export record
  dblp key:
  - conf/apn/FahrenbergZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/FahrenbergZ23
Uli Fahrenberg, Krzysztof Ziemianski:
A Myhill-Nerode Theorem for Higher-Dimensional Automata. 167-188

Tools

- view
  authority control:
- export record
  dblp key:
  - conf/apn/WisniewskiBWP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/WisniewskiBWP23
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
- view
  authority control:
- export record
  dblp key:
  - conf/apn/HelouetT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/HelouetT23
Loïc Hélouët, Antoine Thébault:
Mochy: A Tool for the Modeling of Concurrent Hybrid Systems. 205-216
- view
  authority control:
- export record
  dblp key:
  - conf/apn/MoldtJSCHHHFI23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/MoldtJSCHHHFI23
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
- view
  authority control:
- export record
  dblp key:
  - conf/apn/ZhangA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/ZhangA23
Yisong Zhang, Wil M. P. van der Aalst:
Explorative Process Discovery Using Activity Projections. 229-239

Verification

- view
  authority control:
- export record
  dblp key:
  - conf/apn/HosseiniC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/HosseiniC23
Seyedehzahra Hosseini, Gianfranco Ciardo:
Computing Under-approximations of Multivalued Decision Diagrams. 243-263
- view
  authority control:
- export record
  dblp key:
  - conf/apn/WittboldBHHK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/WittboldBHHK23
Florian Wittbold, Rebecca Bernemann, Reiko Heckel, Tobias Heindel, Barbara König:
Stochastic Decision Petri Nets. 264-285
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BergenthumFK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BergenthumFK23
Robin Bergenthum, Sabine Folz-Weinstein, Jakub Kovár:
Token Trail Semantics - Modeling Behavior of Petri Nets with Labeled Petri Nets. 286-306
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Devillers23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Devillers23
Raymond R. Devillers:
On the Reversibility of Circular Conservative Petri Nets. 307-323
- view
  authority control:
- export record
  dblp key:
  - conf/apn/AmatDB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/AmatDB23
Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan:
Automated Polyhedral Abstraction Proving. 324-345
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Evangelista23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Evangelista23
Sami Evangelista:
Experimenting with Stubborn Sets on Petri Nets. 346-365

Timed Models

- view
  authority control:
- export record
  dblp key:
  - conf/apn/AriasBOOPR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/AriasBOOPR23
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
- view
  authority control:
- export record
  dblp key:
  - conf/apn/LeclercqLR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/LeclercqLR23
Loriane Leclercq, Didier Lime, Olivier H. Roux:
A State Class Based Controller Synthesis Approach for Time Petri Nets. 393-414

Model Transformation

- view
  authority control:
- export record
  dblp key:
  - conf/apn/CosmaHS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/CosmaHS23
Vlad Paul Cosma, Thomas T. Hildebrandt, Tijs Slaats:
Transforming Dynamic Condition Response Graphs to Safe Petri Nets. 417-439
- view
  authority control:
- export record
  dblp key:
  - conf/apn/MoldtHSICEF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/MoldtHSICEF23
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.