Petri Nets

Keyphrases

Publications

2024

Damien Morard, Lucas Donati, Didier Buchs
Symbolic Model Checking Using Intervals of Vectors. Petri Nets (2024)
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
Safety Verification of Wait-Only Non-Blocking Broadcast Protocols. Petri Nets (2024)
José Manuel Colom
Harnessing Structure Theory of Petri Nets in Discrete Event System Simulation. Petri Nets (2024)
Fernando Pereira, João-Paulo Barros, Filipe Moutinho, Anikó Costa, Rogério Campos-Rebelo, Luís Gomes
Remote Debugger: A Tool to Remotely Monitor and Operate IOPT-Nets Controllers. Petri Nets (2024)
Akio Watanabe, Ayumi Araragi, Hiroki Ikeuchi, Yousuke Takahashi
Concurrent Context-Free Grammar for Parsing Business Processes with Iterated Shuffles. Petri Nets (2024)
Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes
Using Petri Nets for Digital Twins Modeling and Deployment: A Power Wheelchair System Case Study. Petri Nets (2024)
Tobias Brockhoff, Moritz Nicolas Gose, Merih Seran Uysal, Wil M. P. van der Aalst
Process Comparison Using Petri Net Decomposition. Petri Nets (2024)
Gabriele Taentzer, Jens Kosiol, Leen Lambers
On the Application of Model-Driven Optimization to Business Processes. Petri Nets (2024)
Lukas Zech, Karsten Wolf
Verifying Temporal Logic Properties in the Modular State Space. Petri Nets (2024)
Dominique Sommers, Natalia Sidorova, Boudewijn F. van Dongen
Conformance Checking with Model Projections - Rethinking Log-Model Alignments for Processes with Interacting Objects. Petri Nets (2024)
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Relational Structures for Interval Order Semantics of Concurrent Systems. Petri Nets (2024)
Jakub Kovár, Robin Bergenthum
Token Trail Semantics II - Petri Nets And Their Net Language. Petri Nets (2024)
Stefan Haar, Serge Haddad
On the Expressive Power of Transfinite Sequences for Continuous Petri Nets. Petri Nets (2024)
Alex Chan, Adrian Wheeldon, Rishad A. Shafik, Alex Yakovlev
Design of Event-Driven Tsetlin Machines Using Safe Petri Nets. Petri Nets (2024)
Pierre Bouvier, Hubert Garavel
Identifying Duplicates in Large Collections of Petri Nets and Nested-Unit Petri Nets. Petri Nets (2024)
Étienne André, Jaime Arias, Benoît Barbot, Francis Hulin-Hubard, Fabrice Kordon, Van-François Le, Laure Petrucci
CosyVerif: The Path to Formalisms Cohabitation. Petri Nets (2024)
Eike Best, Raymond R. Devillers
Petri Net Synthesis from a Reachability Set. Petri Nets (2024)
Loïc Hélouët, Prerak Contractor
Symbolic Domains and Reachability for Nets with Trajectories. Petri Nets (2024)
Elvio G. Amparore, Susanna Donatelli, Lea Terracini
Hilbert Composition of Multilabelled Events. Petri Nets (2024)
Julian Gaede, Sophie Wallner, Karsten Wolf
Modular State Spaces - A New Perspective. Petri Nets (2024)
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg
Languages of Higher-Dimensional Timed Automata. Petri Nets (2024)

volume 14628, 2024

Application and Theory of Petri Nets and Concurrency - 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings Petri Nets 14628 (2024)

2023

volume 13929, 2023

Application and Theory of Petri Nets and Concurrency - 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings Petri Nets 13929 (2023)

2022

volume 13288, 2022

Application and Theory of Petri Nets and Concurrency - 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, Proceedings Petri Nets 13288 (2022)