| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sami Evangelista |
Experimenting with Stubborn Sets on Petri Nets.  |
Petri Nets  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Seyedehzahra Hosseini, Gianfranco Ciardo |
Computing Under-approximations of Multivalued Decision Diagrams. |
Petri Nets |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaime Arias 0001, 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. |
Petri Nets |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Würdemann, Thomas Chatain, Stefan Haar |
Taking Complete Finite Prefixes to High Level, Symbolically. |
Petri Nets |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Felix Mannhardt, Sander J. J. Leemans, Christopher T. Schwanen, Massimiliano de Leoni |
Modelling Data-Aware Stochastic Processes - Discovery and Conformance Checking. |
Petri Nets |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan |
Automated Polyhedral Abstraction Proving. |
Petri Nets |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Uli Fahrenberg, Krzysztof Ziemianski |
A Myhill-Nerode Theorem for Higher-Dimensional Automata. |
Petri Nets |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
Petri Nets |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Loïc Hélouët, Antoine Thébault |
Mochy: A Tool for the Modeling of Concurrent Hybrid Systems. |
Petri Nets |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Remigiusz Wisniewski, Grzegorz Bazydlo, Marcin Wojnakowski, Mateusz Poplawski |
Hippo-CPS: A Tool for Verification and Analysis of Petri Net-Based Cyber-Physical Systems. |
Petri Nets |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond R. Devillers |
On the Reversibility of Circular Conservative Petri Nets. |
Petri Nets |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Moldt, Marcel Hansson, Lukas Seifert, Karl Ihlenfeldt, Laif-Oke Clasen, Kjell Ehlers, Matthias Feldmann |
Enriching Heraklit Modules by Agent Interaction Diagrams. |
Petri Nets |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sabine Folz-Weinstein, Robin Bergenthum, Jörg Desel, Jakub Kovár |
ILP2 Miner - Process Discovery for Partially Ordered Event Logs Using Integer Linear Programming. |
Petri Nets |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Gomes 0001, Robert Lorenz 0001 (eds.) |
Application and Theory of Petri Nets and Concurrency - 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings |
Petri Nets |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin Bergenthum, Sabine Folz-Weinstein, Jakub Kovár |
Token Trail Semantics - Modeling Behavior of Petri Nets with Labeled Petri Nets. |
Petri Nets |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominique Sommers, Natalia Sidorova, Boudewijn F. van Dongen |
Exact and Approximated Log Alignments for Processes with Inter-case Dependencies. |
Petri Nets |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Vlad Paul Cosma, Thomas T. Hildebrandt, Tijs Slaats |
Transforming Dynamic Condition Response Graphs to Safe Petri Nets. |
Petri Nets |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki, Maciej Koutny, Lukasz Mikulski |
Interval Traces with Mutex Relation. |
Petri Nets |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Wittbold, Rebecca Bernemann, Reiko Heckel, Tobias Heindel, Barbara König 0001 |
Stochastic Decision Petri Nets. |
Petri Nets |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Loriane Leclercq, Didier Lime, Olivier H. Roux |
A State Class Based Controller Synthesis Approach for Time Petri Nets. |
Petri Nets |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Midhun Xavier, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin |
Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems Inspired by Net Condition/Event Systems. |
Petri Nets |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yisong Zhang, Wil M. P. van der Aalst |
Explorative Process Discovery Using Activity Projections. |
Petri Nets |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
Petri Nets |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefanie Rinderle-Ma, Janik-Vasily Benzin, Juergen Mangler |
From Process-Agnostic to Process-Aware Automation, Mining, and Prediction. |
Petri Nets |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Xavier Allamigeon, Marin Boyet, Stéphane Gaubert |
Computing Transience Bounds of Emergency Call Centers: A Hierarchical Timed Petri Net Approach. |
Petri Nets |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Hannibal, Ernst-Rüdiger Olderog |
The Synthesis Problem for Repeatedly Communicating Petri Games. |
Petri Nets |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Abel Armas-Cervantes, Farbod Taymouri |
Discovering Unseen Behaviour from Event Logs. |
Petri Nets |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Viki Peeva, Lisa Luise Mannel, Wil M. P. van der Aalst |
From Place Nets to Local Process Models. |
Petri Nets |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Niklas Adams, Wil M. P. van der Aalst |
OCπ: Object-Centric Process Insights. |
Petri Nets |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Khomenko, Maciej Koutny, Alex Yakovlev |
Avoiding Exponential Explosion in Petri Net Models of Control Flows. |
Petri Nets |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafal Graczyk, Waldemar Bujwan, Marcin Darmetko, Marcin Dziezyc, Damien Galano, Konrad Grochowski, Michal A. Kurowski, Grzegorz Juchnikowski, Marek Morawski, Michal Mosdorf, Piotr Orleanski, Cedric Thizy, Marcus Völp |
From Graphs to the Science Computer of a Space Telescope - The Power of Petri Nets in Systems Engineering. |
Petri Nets |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Martijn E. M. van der Werf, Andrey Rivkin, Artem Polyvyanyy, Marco Montali |
Data and Process Resonance - Identifier Soundness for Models of Information Systems. |
Petri Nets |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Amat, Louis Chauvet |
Kong: A Tool to Squash Concurrent Places. |
Petri Nets |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Lisa Luise Mannel, Wil M. P. van der Aalst |
Discovering Process Models with Long-Term Dependencies While Providing Guarantees and Handling Infrequent Behavior. |
Petri Nets |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Clément Bertrand, Hanna Klaudel, Frédéric Peschanski |
Layered Memory Automata: Recognizers for Quasi-Regular Languages with Unbounded Memory. |
Petri Nets |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Pereira, Filipe Moutinho, Anikó Costa, João-Paulo Barros, Rogério Campos-Rebelo, Luís Gomes 0001 |
IOPT-Tools - From Executable Models to Automatic Code Generation for Embedded Controllers Development. |
Petri Nets |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond R. Devillers, Ronny Tredup |
Synthesis of Inhibitor-Reset Petri Nets: Algorithmic and Complexity Issues. |
Petri Nets |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominique Sommers, Natalia Sidorova, Boudewijn F. van Dongen |
Aligning Event Logs to Resource-Constrained ν-Petri Nets. |
Petri Nets |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Vegard Steinsland, Lars Michael Kristensen, Shujun Zhang |
Towards the Application of Coloured Petri Nets for Design and Validation of Power Electronics Converter Systems. |
Petri Nets |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Bernardinello, Laure Petrucci (eds.) |
Application and Theory of Petri Nets and Concurrency - 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, Proceedings |
Petri Nets |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvio G. Amparore, Susanna Donatelli |
The Ins and Outs of Petri Net Composition. |
Petri Nets |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Loïc Hélouët, Pranay Agrawal |
Waiting Nets. |
Petri Nets |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Maxim Storetvedt, Latchezar Betev, Nikola Hardi, Håvard Helstrup, Kristin Fanebust Hetland, Bjarte Kileng |
Modelling the Next Generation ALICE Grid Middleware Using Coloured Petri Nets. |
Petri Nets |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck Pommereau, Colin Thomas, Cédric Gaucherel |
Petri Nets Semantics of Reaction Rules (RR) - A Language for Ecosystems Modelling. |
Petri Nets |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Gieseking, Nick Würdemann |
Canonical Representations for Direct Generation of Strategies in High-Level Petri Games. |
Petri Nets |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Bernardinello |
Topics in Region Theory and Synthesis Problems. |
Petri Nets |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Wil M. P. van der Aalst |
Reduction Using Induced Subnets to Systematically Prove Properties for Free-Choice Nets. |
Petri Nets |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Loïg Jezequel, Didier Lime, Bastien Sérée |
A Lazy Query Scheme for Reachability Analysis in Petri Nets. |
Petri Nets |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Serge Haddad, Didier Lime, Olivier H. Roux |
A Turn-Based Approach for Qualitative Time Concurrent Games. |
Petri Nets |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Loïc Hélouët, Zoltán Miklós 0001, Rituraj Singh |
Cost and Quality in Crowdsourcing Workflows. |
Petri Nets |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Leroux |
Flat Petri Nets (Invited Talk). |
Petri Nets |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Samy Abbes |
Deterministic Concurrent Systems. |
Petri Nets |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Haustermann, David Mosteller, Daniel Moldt |
Model Checking of Synchronized Domain-Specific Multi-formalism Models Using High-Level Petri Nets. |
Petri Nets |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémi Parrot, Mikaël Briday, Olivier H. Roux |
Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design. |
Petri Nets |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Rüdiger Valk |
Deciphering the Co-Car Anomaly of Circular Traffic Queues Using Petri Nets. |
Petri Nets |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Mikhail A. Raskin, Christoph Welzel |
Computing Parameterized Invariants of Parameterized Petri Nets. |
Petri Nets |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Schuster 0001, Sebastiaan J. van Zelst, Wil M. P. van der Aalst |
Cortado - An Interactive Tool for Data-Driven Process Discovery and Modeling. |
Petri Nets |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Burke 0001, Sander J. J. Leemans, Moe Thandar Wynn |
Discovering Stochastic Process Models by Reduction and Abstraction. |
Petri Nets |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin Bergenthum |
Firing Partial Orders in a Petri Net. |
Petri Nets |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Buchs, Josep Carmona 0001 (eds.) |
Application and Theory of Petri Nets and Concurrency - 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23-25, 2021, Proceedings |
Petri Nets |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronny Tredup |
Edge, Event and State Removal: The Complexity of Some Basic Techniques that Make Transition Systems Petri Net Implementable. |
Petri Nets |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophie Wallner, Karsten Wolf |
Skeleton Abstraction for Universal Temporal Properties. |
Petri Nets |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Amat, Bernard Berthomieu, Silvano Dal-Zilio |
On the Combination of Polyhedral Abstraction and SMT-Based Model Checking for Petri Nets. |
Petri Nets |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Didriksen, Peter Gjøl Jensen, Jonathan F. Jønler, Andrei-Ioan Katona, Sangey D. L. Lama, Frederik B. Lottrup, Shahab Shajarat, Jirí Srba |
Automatic Synthesis of Transiently Correct Network Updates via Petri Games. |
Petri Nets |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond R. Devillers |
Synthesis of (Choice-Free) Reset Nets. |
Petri Nets |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Pegoraro 0001, Merih Seran Uysal, Wil M. P. van der Aalst |
PROVED: A Tool for Graph Representation and Analysis of Uncertain Event Data. |
Petri Nets |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiawen Kang, Yunjun Bai, Li Jiao |
Abstraction-Based Incremental Inductive Coverability for Petri Nets. |
Petri Nets |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronny Tredup |
Synthesis of Petri Nets with Restricted Place-Environments: Classical and Parameterized. |
Petri Nets |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Bouvier, Hubert Garavel |
Efficient Algorithms for Three Reachability Problems in Safe Petri Nets. |
Petri Nets |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna A. Kalenkova, Josep Carmona 0001, Artem Polyvyanyy, Marcello La Rosa |
Automated Repair of Process Models Using Non-local Constraints. |
Petri Nets |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yann Thierry-Mieg |
Structural Reductions Revisited. |
Petri Nets |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Schwarick, Christian Rohr, Fei Liu 0006, George Assaf, Jacek Chodak, Monika Heiner |
Efficient Unfolding of Coloured Petri Nets Using Interval Decision Diagrams. |
Petri Nets |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Wil M. P. van der Aalst, Daniel Tacke genannt Unterberg, Vadim Denisov, Dirk Fahland |
Visualizing Token Flows Using Interactive Performance Spectra. |
Petri Nets |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Desel, Marc Finthammer, Andrea Frank |
Cycl$\mathbf {\circlearrowright }$n - A Tool for Determining Stop-Transitions of Petri Nets. |
Petri Nets |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Rüdiger Valk |
Circular Traffic Queues and Petri's Cycloids. |
Petri Nets |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Finkel |
On the High Complexity of Petri Nets ømega-Languages. |
Petri Nets |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvano Dal-Zilio |
MCC: A Tool for Unfolding Colored Petri Nets in PNML Format. |
Petri Nets |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Bouvier, Hubert Garavel, Hernán Ponce de León |
Automatic Decomposition of Petri Nets into Automata Networks - A Synthetic Account. |
Petri Nets |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis |
SNexpression: A Symbolic Calculator for Symmetric Net Expressions. |
Petri Nets |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki, Natalia Sidorova, Thomas Chatain (eds.) |
Application and Theory of Petri Nets and Concurrency - 41st International Conference, PETRI NETS 2020, Paris, France, June 24-25, 2020, Proceedings |
Petri Nets |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Guanjun Liu |
PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets. |
Petri Nets |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Shyam Lal Karra, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba |
On-the-Fly Synthesis for Strictly Alternating Games. |
Petri Nets |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvio Gilberto Amparore, Susanna Donatelli, Francesco Gallà |
A CTL* Model Checker for Petri Nets. |
Petri Nets |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Xavier Allamigeon, Marin Boyet, Stéphane Gaubert |
Piecewise Affine Dynamical Models of Timed Petri Nets - Application to Emergency Call Centers. |
Petri Nets |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Bourhis, Loïc Hélouët, Zoltán Miklós 0001, Rituraj Singh |
Data Centric Workflows for Crowdsourcing. |
Petri Nets |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Gorrieri |
A Study on Team Bisimulations for BPP Nets. |
Petri Nets |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabella Kaufmann, Kim Guldstrand Larsen, Jirí Srba |
Synthesis for Multi-weighted Games with Branching-Time Winning Conditions. |
Petri Nets |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Eike Best, Raymond R. Devillers, Evgeny Erofeev |
A New Property of Choice-Free Petri Net Systems. |
Petri Nets |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Martijn E. M. van der Werf, Artem Polyvyanyy |
The Information Systems Modeling Suite - Modeling the Interplay Between Information and Processes. |
Petri Nets |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Gorrieri |
Interleaving vs True Concurrency: Some Instructive Security Examples. |
Petri Nets |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ballarini, Davide Duma, András Horváth, Roberto Aringhieri |
Petri Nets Validation of Markovian Models of Emergency Department Arrivals. |
Petri Nets |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Vadim Denisov, Dirk Fahland, Wil M. P. van der Aalst |
Repairing Event Logs with Missing Events to Support Performance Analysis of Systems with Shared Resources. |
Petri Nets |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Serge Haddad, Igor Khmelnitsky |
Dynamic Recursive Petri Nets. |
Petri Nets |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronny Tredup |
Hardness Results for the Synthesis of b-bounded Petri Nets. |
Petri Nets |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Fahland |
Describing Behavior of Processes with Many-to-Many Interactions. |
Petri Nets |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Henrik Röwekamp, Daniel Moldt |
RenewKube: Reference Net Simulation Scaling with Renew and Kubernetes. |
Petri Nets |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Susanna Donatelli, Stefan Haar (eds.) |
Application and Theory of Petri Nets and Concurrency - 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23-28, 2019, Proceedings |
Petri Nets |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Finkel, Serge Haddad, Igor Khmelnitsky |
Coverability and Termination in Recursive Petri Nets. |
Petri Nets |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Shruti Biswal, Andrew S. Miner |
Improving Saturation Efficiency with Implicit Relations. |
Petri Nets |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki |
On Interval Semantics of Inhibitor and Activator Nets. |
Petri Nets |
2019 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license