More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

45th Petri Nets 2024: Geneva, Switzerland

> 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/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/2024
Lars Michael Kristensen, Jan Martijn E. M. van der Werf:
Application and Theory of Petri Nets and Concurrency - 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings. Lecture Notes in Computer Science 14628, Springer 2024, ISBN 978-3-031-61432-3

Invited Papers

- view
  authority control:
- export record
  dblp key:
  - conf/apn/Colom24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Colom24
José Manuel Colom:
Harnessing Structure Theory of Petri Nets in Discrete Event System Simulation. 3-23
- view
  authority control:
- export record
  dblp key:
  - conf/apn/TaentzerKL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/TaentzerKL24
Gabriele Taentzer, Jens Kosiol, Leen Lambers:
On the Application of Model-Driven Optimization to Business Processes. 24-35

Business Process Modelling and Mining

- view
  authority control:
- export record
  dblp key:
  - conf/apn/WatanabeAIT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/WatanabeAIT24
Akio Watanabe, Ayumi Araragi, Hiroki Ikeuchi, Yousuke Takahashi:
Concurrent Context-Free Grammar for Parsing Business Processes with Iterated Shuffles. 39-60
- view
  authority control:
- export record
  dblp key:
  - conf/apn/SommersSD24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/SommersSD24
Dominique Sommers, Natalia Sidorova, Boudewijn F. van Dongen:
Conformance Checking with Model Projections - Rethinking Log-Model Alignments for Processes with Interacting Objects. 61-82
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BrockhoffGUA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BrockhoffGUA24
Tobias Brockhoff, Moritz Nicolas Gose, Merih Seran Uysal, Wil M. P. van der Aalst:
Process Comparison Using Petri Net Decomposition. 83-105

Semantics and Complexity

- view
  authority control:
- export record
  dblp key:
  - conf/apn/HaarH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/HaarH24
Stefan Haar, Serge Haddad:
On the Expressive Power of Transfinite Sequences for Continuous Petri Nets. 109-131
- view
  authority control:
- export record
  dblp key:
  - conf/apn/AmparoreDT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/AmparoreDT24
Elvio G. Amparore, Susanna Donatelli, Lea Terracini:
Hilbert Composition of Multilabelled Events. 132-152
- view
  authority control:
- export record
  dblp key:
  - conf/apn/JanickiKKM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/JanickiKKM24
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski:
Relational Structures for Interval Order Semantics of Concurrent Systems. 153-174
- view
  authority control:
- export record
  dblp key:
  - conf/apn/KovarB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/KovarB24
Jakub Kovár, Robin Bergenthum:
Token Trail Semantics II - Petri Nets And Their Net Language. 175-196
- view
  authority control:
- export record
  dblp key:
  - conf/apn/AmraneBCF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/AmraneBCF24
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg:
Languages of Higher-Dimensional Timed Automata. 197-219

Reachability

- view
  authority control:
- export record
  dblp key:
  - conf/apn/BestD24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BestD24
Eike Best, Raymond R. Devillers:
Petri Net Synthesis from a Reachability Set. 223-243
- view
  authority control:
- export record
  dblp key:
  - conf/apn/HelouetC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/HelouetC24
Loïc Hélouët, Prerak Contractor:
Symbolic Domains and Reachability for Nets with Trajectories. 244-265

Verification and Model Checking

- view
  authority control:
- export record
  dblp key:
  - conf/apn/MorardDB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/MorardDB24
Damien Morard, Lucas Donati, Didier Buchs:
Symbolic Model Checking Using Intervals of Vectors. 269-290
- view
  authority control:
- export record
  dblp key:
  - conf/apn/GuillouSS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/GuillouSS24
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder:
Safety Verification of Wait-Only Non-Blocking Broadcast Protocols. 291-311
- view
  authority control:
- export record
  dblp key:
  - conf/apn/GaedeWW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/GaedeWW24
Julian Gaede, Sophie Wallner, Karsten Wolf:
Modular State Spaces - A New Perspective. 312-332
- view
  authority control:
- export record
  dblp key:
  - conf/apn/ZechW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/ZechW24
Lukas Zech, Karsten Wolf:
Verifying Temporal Logic Properties in the Modular State Space. 333-354

Applications and Tools

- view
  authority control:
- export record
  dblp key:
  - conf/apn/ChanWSY24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/ChanWSY24
Alex Chan, Adrian Wheeldon, Rishad A. Shafik, Alex Yakovlev:
Design of Event-Driven Tsetlin Machines Using Safe Petri Nets. 357-378
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BouvierG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BouvierG24
Pierre Bouvier, Hubert Garavel:
Identifying Duplicates in Large Collections of Petri Nets and Nested-Unit Petri Nets. 379-401
- view
  authority control:
- export record
  dblp key:
  - conf/apn/PereiraBMCCG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/PereiraBMCCG24
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. 402-412
- view
  authority control:
- export record
  dblp key:
  - conf/apn/LagartinhoOliveiraMG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/LagartinhoOliveiraMG24
Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes:
Using Petri Nets for Digital Twins Modeling and Deployment: A Power Wheelchair System Case Study. 413-431
- view
  authority control:
- export record
  dblp key:
  - conf/apn/AndreABHKLP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/AndreABHKLP24
Étienne André, Jaime Arias, Benoît Barbot, Francis Hulin-Hubard, Fabrice Kordon, Van-François Le, Laure Petrucci:
CosyVerif: The Path to Formalisms Cohabitation. 432-444

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.