From

Institution

Field

Type

Topic: Petri Nets in System Modeling ×

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “Petri nets” in Petri Nets in System Modeling 31

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

A Petri Net Architecture for Real-Time Human Activity Recognition in Work Systems
2023 Procedia Computer Science conference-paper Computer Science Petri Nets in System Modeling Open access

Jan-Phillip Herrmann, Alexander Atanasyan, Felix Casser, Sven M. Tackenberg

4

citations
Application and Theory of Petri Nets and Concurrency: Special Issue of Selected Papers from Petri Nets 2022
2024 HAL (Le Centre pour la Communication Scientifique Directe) other Computer Science Petri Nets in System Modeling Open access

Luca Bernardinello, Jetty Kleijn, Laure Petrucci

0

citations
LARA: Learned Adaptive Recombined Alignments, a Certifying Foundation Model for Petri Net Trace Alignment
2026 RWTH Publications (RWTH Aachen) article Computer Science Petri Nets in System Modeling Open access

Alessandro Berti, Wil M. P. van der Aalst

0

citations
CPN-Py: A Python-Based Tool for Modeling and Analyzing Colored Petri Nets
2025 preprint Computer Science Petri Nets in System Modeling Open access

Alessandro Berti, Wil M. P. van der Aalst

1

citations
Modelling and measuring complexity of traditional and ancient technologies using Petri nets
2022 PLoS ONE article Computer Science Petri Nets in System Modeling Open access

Sebastian Fajardo, Jetty Kleijn, Frank W. Takes, Geeske H. J. Langejans

12

citations
Enjoy the Silence: Analysis of Stochastic Petri Nets with Silent Transitions
2023 arXiv (Cornell University) preprint Computer Science Petri Nets in System Modeling Open access

Sander J. J. Leemans, Fabrizio Maria Maggi, Marco Montali

0

citations
XT-Based Decomposition of a PLC Controller Program in Distributed Control Application Using Petri Nets for Implementation Employing SFC Language
2026 International Conference on Methods and Models in Automation and Robotics conference-paper Computer Science Petri Nets in System Modeling

Łukasz Stefanowicz, Mariusz Buciakowski, Szymon Wermiński, Marcin Witczak

0

citations
Martin: A Novel Mechanism for Rate Adaption in Continuous Petri Nets
2026 Lecture notes in computer science conference-paper Computer Science Petri Nets in System Modeling

Erika Ábrahám, Mathis Niehage, Anne Remke

0

citations
Reasoning on Labelled Petri Nets and Their Dynamics in a Stochastic Setting
2022 Lecture notes in computer science conference-paper Computer Science Petri Nets in System Modeling Open access

Sander J. J. Leemans, Fabrizio Maria Maggi, Marco Montali

13

citations
Enjoy the Silence, Part II: Probability-Based Queries on Stochastic Labelled Petri Nets
2025 Lecture notes in computer science conference-paper Computer Science Petri Nets in System Modeling Open access

Sander J. J. Leemans, Marco Montali, Timo Gersing, Felix Engelhardt, Natalia Sidorova

1

citations
Multilabeled Petri Nets
2020 Lecture notes in computer science conference-paper Computer Science Petri Nets in System Modeling

Kasper Dokter

1

citations
Reduction Using Induced Subnets to Systematically Prove Properties for Free-Choice Nets
2021 Lecture notes in computer science conference-paper Computer Science Petri Nets in System Modeling Open access

Wil M. P. van der Aalst

1

citations
Elementary Net Systems with Activator and Mutex Arcs
2022 Studies in computational intelligence book-chapter Computer Science Petri Nets in System Modeling

Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski

1

citations
Elementary Net Systems
2022 Studies in computational intelligence book-chapter Computer Science Petri Nets in System Modeling

Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski

0

citations
Deciding Reachability and the Covering Problem with Diagnostics for Sound Acyclic Free-Choice Workflow Nets
2026 arXiv (Cornell University) preprint Computer Science Petri Nets in System Modeling Open access

Thomas M. Prinz, Christopher T. Schwanen, Wil M. P. van der Aalst

0

citations
Reduction Using Induced Subnets to Systematically Prove Properties for Free-Choice Nets
2021 Publikationsdatenbank der Fraunhofer-Gesellschaft (Fraunhofer-Gesellschaft) conference-paper Computer Science Petri Nets in System Modeling

Wil M. P. van der Aalst

11

citations
Loop home markings (looms) in free-choice nets with home clusters
2026 RWTH Publications (RWTH Aachen) conference-paper Computer Science Petri Nets in System Modeling Open access

Thomas M. Prinz, Wil M. P. van der Aalst, Christopher Thilo Schwanen, Yongsun Choi

0

citations
Deciding (Sub-Marking) Reachability in $$\pmb {O(P^2 + T^2)}$$ for Sound Acyclic Free-Choice Workflow Nets
2025 Lecture notes in computer science conference-paper Computer Science Petri Nets in System Modeling

Christopher T. Schwanen, Wil M. P. van der Aalst

1

citations
Free-choice Nets with Home Clusters are Lucent
2021 Fundamenta Informaticae article Computer Science Petri Nets in System Modeling Open access

Wil M. P. van der Aalst

8

citations
Estimation of Kinetic Parameters in Stochastic Biomedical Models Using Estimation Theory
2021 IEEE International Symposium on Intelligent Systems and Informatics (SISY) conference-paper Computer Science Petri Nets in System Modeling

Lukas David Schuck, Lejla Begic Fazlic, Guido Dartmann, Anke Schmeink

0

citations
Explaining Boolean-Logic Driven Markov Processes using GSPNs
2020 European Dependable Computing Conference conference-paper Computer Science Petri Nets in System Modeling

Shahid Ali Khan, Joost-Pieter Katoen, Marc Bouissou

5

citations
Structural Analysis of GRAFCET Control Specifications
2023 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) conference-paper Computer Science Petri Nets in System Modeling

Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay

2

citations
Finite-Trace Analysis of Stochastic Systems with Silent Transitions (Extended Abstract)
2023 International Joint Conference on Artificial Intelligence conference-paper Computer Science Petri Nets in System Modeling Open access

Sander J. J. Leemans, Fabrizio Maria Maggi, Marco Montali

1

citations
Structural Analysis of GRAFCET Control Specifications
2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Petri Nets in System Modeling Open access

Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay

0

citations
Synthetic Simulated Environment for Discrete Manufacturing Systems: A Demonstrator Through a Computational Modeling Approach
2024 Winter Simulation Conference conference-paper Computer Science Petri Nets in System Modeling

Silvan Marti, Paulo Victor Lopes, Siyuan Chen, Mohan Rajashekarappa, Elham Rekabi Bana, Amon Göppert, +3 more

0

citations