Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID45th Petri Nets 2024: Geneva, Switzerland
- 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
- José Manuel Colom:
Harnessing Structure Theory of Petri Nets in Discrete Event System Simulation. 3-23 - Gabriele Taentzer, Jens Kosiol, Leen Lambers:
On the Application of Model-Driven Optimization to Business Processes. 24-35
Business Process Modelling and Mining
- Akio Watanabe, Ayumi Araragi, Hiroki Ikeuchi, Yousuke Takahashi:
Concurrent Context-Free Grammar for Parsing Business Processes with Iterated Shuffles. 39-60 - Dominique Sommers, Natalia Sidorova, Boudewijn F. van Dongen:
Conformance Checking with Model Projections - Rethinking Log-Model Alignments for Processes with Interacting Objects. 61-82 - 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
- Stefan Haar, Serge Haddad:
On the Expressive Power of Transfinite Sequences for Continuous Petri Nets. 109-131 - Elvio G. Amparore, Susanna Donatelli, Lea Terracini:
Hilbert Composition of Multilabelled Events. 132-152 - Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski:
Relational Structures for Interval Order Semantics of Concurrent Systems. 153-174 - Jakub Kovár, Robin Bergenthum:
Token Trail Semantics II - Petri Nets And Their Net Language. 175-196 - Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg:
Languages of Higher-Dimensional Timed Automata. 197-219
Reachability
- Eike Best, Raymond R. Devillers:
Petri Net Synthesis from a Reachability Set. 223-243 - Loïc Hélouët, Prerak Contractor:
Symbolic Domains and Reachability for Nets with Trajectories. 244-265
Verification and Model Checking
- Damien Morard, Lucas Donati, Didier Buchs:
Symbolic Model Checking Using Intervals of Vectors. 269-290 - Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder:
Safety Verification of Wait-Only Non-Blocking Broadcast Protocols. 291-311 - Julian Gaede, Sophie Wallner, Karsten Wolf:
Modular State Spaces - A New Perspective. 312-332 - Lukas Zech, Karsten Wolf:
Verifying Temporal Logic Properties in the Modular State Space. 333-354
Applications and Tools
- Alex Chan, Adrian Wheeldon, Rishad A. Shafik, Alex Yakovlev:
Design of Event-Driven Tsetlin Machines Using Safe Petri Nets. 357-378 - Pierre Bouvier, Hubert Garavel:
Identifying Duplicates in Large Collections of Petri Nets and Nested-Unit Petri Nets. 379-401 - 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 - 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 - É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
a service of 
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.
last updated on 2024-06-25 21:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
