Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/apn/pn2024.bht:"
download as .bib file
@inproceedings{DBLP:conf/apn/AmparoreDT24,
author = {Elvio G. Amparore and
Susanna Donatelli and
Lea Terracini},
editor = {Lars Michael Kristensen and
Jan Martijn E. M. van der Werf},
title = {Hilbert Composition of Multilabelled Events},
booktitle = {Application and Theory of Petri Nets and Concurrency - 45th International
Conference, {PETRI} {NETS} 2024, Geneva, Switzerland, June 26-28,
2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14628},
pages = {132--152},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-61433-0\_7},
doi = {10.1007/978-3-031-61433-0\_7},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/AmparoreDT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/AmraneBCF24,
author = {Amazigh Amrane and
Hugo Bazille and
Emily Clement and
Uli Fahrenberg},
editor = {Lars Michael Kristensen and
Jan Martijn E. M. van der Werf},
title = {Languages of Higher-Dimensional Timed Automata},
booktitle = {Application and Theory of Petri Nets and Concurrency - 45th International
Conference, {PETRI} {NETS} 2024, Geneva, Switzerland, June 26-28,
2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14628},
pages = {197--219},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-61433-0\_10},
doi = {10.1007/978-3-031-61433-0\_10},
timestamp = {Wed, 19 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/AmraneBCF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/AndreABHKLP24,
author = {{\'{E}}tienne Andr{\'{e}} and
Jaime Arias and
Beno{\^{\i}}t Barbot and
Francis Hulin{-}Hubard and
Fabrice Kordon and
Van{-}Fran{\c{c}}ois Le and
Laure Petrucci},
editor = {Lars Michael Kristensen and
Jan Martijn E. M. van der Werf},
title = {CosyVerif: The Path to Formalisms Cohabitation},
booktitle = {Application and Theory of Petri Nets and Concurrency - 45th International
Conference, {PETRI} {NETS} 2024, Geneva, Switzerland, June 26-28,
2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14628},
pages = {432--444},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-61433-0\_21},
doi = {10.1007/978-3-031-61433-0\_21},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/AndreABHKLP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BestD24,
author = {Eike Best and
Raymond R. Devillers},
editor = {Lars Michael Kristensen and
Jan Martijn E. M. van der Werf},
title = {Petri Net Synthesis from a Reachability Set},
booktitle = {Application and Theory of Petri Nets and Concurrency - 45th International
Conference, {PETRI} {NETS} 2024, Geneva, Switzerland, June 26-28,
2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14628},
pages = {223--243},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-61433-0\_11},
doi = {10.1007/978-3-031-61433-0\_11},
timestamp = {Wed, 19 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BestD24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BouvierG24,
author = {Pierre Bouvier and
Hubert Garavel},
editor = {Lars Michael Kristensen and
Jan Martijn E. M. van der Werf},
title = {Identifying Duplicates in Large Collections of Petri Nets and Nested-Unit
Petri Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 45th International
Conference, {PETRI} {NETS} 2024, Geneva, Switzerland, June 26-28,
2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14628},
pages = {379--401},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-61433-0\_18},
doi = {10.1007/978-3-031-61433-0\_18},
timestamp = {Wed, 19 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BouvierG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BrockhoffGUA24,
author = {Tobias Brockhoff and
Moritz Nicolas Gose and
Merih Seran Uysal and
Wil M. P. van der Aalst},
editor = {Lars Michael Kristensen and
Jan Martijn E. M. van der Werf},
title = {Process Comparison Using Petri Net Decomposition},
booktitle = {Application and Theory of Petri Nets and Concurrency - 45th International
Conference, {PETRI} {NETS} 2024, Geneva, Switzerland, June 26-28,
2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14628},
pages = {83--105},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-61433-0\_5},
doi = {10.1007/978-3-031-61433-0\_5},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BrockhoffGUA24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/ChanWSY24,
author = {Alex Chan and
Adrian Wheeldon and
Rishad A. Shafik and
Alex Yakovlev},
editor = {Lars Michael Kristensen and
Jan Martijn E. M. van der Werf},
title = {Design of Event-Driven Tsetlin Machines Using Safe Petri Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 45th International
Conference, {PETRI} {NETS} 2024, Geneva, Switzerland, June 26-28,
2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14628},
pages = {357--378},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-61433-0\_17},
doi = {10.1007/978-3-031-61433-0\_17},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/ChanWSY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Colom24,
author = {Jos{\'{e}} Manuel Colom},
editor = {Lars Michael Kristensen and
Jan Martijn E. M. van der Werf},
title = {Harnessing Structure Theory of Petri Nets in Discrete Event System
Simulation},
booktitle = {Application and Theory of Petri Nets and Concurrency - 45th International
Conference, {PETRI} {NETS} 2024, Geneva, Switzerland, June 26-28,
2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14628},
pages = {3--23},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-61433-0\_1},
doi = {10.1007/978-3-031-61433-0\_1},
timestamp = {Wed, 19 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Colom24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/GaedeWW24,
author = {Julian Gaede and
Sophie Wallner and
Karsten Wolf},
editor = {Lars Michael Kristensen and
Jan Martijn E. M. van der Werf},
title = {Modular State Spaces - {A} New Perspective},
booktitle = {Application and Theory of Petri Nets and Concurrency - 45th International
Conference, {PETRI} {NETS} 2024, Geneva, Switzerland, June 26-28,
2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14628},
pages = {312--332},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-61433-0\_15},
doi = {10.1007/978-3-031-61433-0\_15},
timestamp = {Wed, 19 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/GaedeWW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/GuillouSS24,
author = {Lucie Guillou and
Arnaud Sangnier and
Nathalie Sznajder},
editor = {Lars Michael Kristensen and
Jan Martijn E. M. van der Werf},
title = {Safety Verification of Wait-Only Non-Blocking Broadcast Protocols},
booktitle = {Application and Theory of Petri Nets and Concurrency - 45th International
Conference, {PETRI} {NETS} 2024, Geneva, Switzerland, June 26-28,
2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14628},
pages = {291--311},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-61433-0\_14},
doi = {10.1007/978-3-031-61433-0\_14},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/GuillouSS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HaarH24,
author = {Stefan Haar and
Serge Haddad},
editor = {Lars Michael Kristensen and
Jan Martijn E. M. van der Werf},
title = {On the Expressive Power of Transfinite Sequences for Continuous Petri
Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 45th International
Conference, {PETRI} {NETS} 2024, Geneva, Switzerland, June 26-28,
2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14628},
pages = {109--131},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-61433-0\_6},
doi = {10.1007/978-3-031-61433-0\_6},
timestamp = {Wed, 19 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/HaarH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HelouetC24,
author = {Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and
Prerak Contractor},
editor = {Lars Michael Kristensen and
Jan Martijn E. M. van der Werf},
title = {Symbolic Domains and Reachability for Nets with Trajectories},
booktitle = {Application and Theory of Petri Nets and Concurrency - 45th International
Conference, {PETRI} {NETS} 2024, Geneva, Switzerland, June 26-28,
2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14628},
pages = {244--265},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-61433-0\_12},
doi = {10.1007/978-3-031-61433-0\_12},
timestamp = {Wed, 19 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/HelouetC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/JanickiKKM24,
author = {Ryszard Janicki and
Jetty Kleijn and
Maciej Koutny and
Lukasz Mikulski},
editor = {Lars Michael Kristensen and
Jan Martijn E. M. van der Werf},
title = {Relational Structures for Interval Order Semantics of Concurrent Systems},
booktitle = {Application and Theory of Petri Nets and Concurrency - 45th International
Conference, {PETRI} {NETS} 2024, Geneva, Switzerland, June 26-28,
2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14628},
pages = {153--174},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-61433-0\_8},
doi = {10.1007/978-3-031-61433-0\_8},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/JanickiKKM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KovarB24,
author = {Jakub Kov{\'{a}}r and
Robin Bergenthum},
editor = {Lars Michael Kristensen and
Jan Martijn E. M. van der Werf},
title = {Token Trail Semantics {II} - Petri Nets And Their Net Language},
booktitle = {Application and Theory of Petri Nets and Concurrency - 45th International
Conference, {PETRI} {NETS} 2024, Geneva, Switzerland, June 26-28,
2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14628},
pages = {175--196},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-61433-0\_9},
doi = {10.1007/978-3-031-61433-0\_9},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/KovarB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/LagartinhoOliveiraMG24,
author = {Carolina Lagartinho{-}Oliveira and
Filipe Moutinho and
Lu{\'{\i}}s Gomes},
editor = {Lars Michael Kristensen and
Jan Martijn E. M. van der Werf},
title = {Using Petri Nets for Digital Twins Modeling and Deployment: {A} Power
Wheelchair System Case Study},
booktitle = {Application and Theory of Petri Nets and Concurrency - 45th International
Conference, {PETRI} {NETS} 2024, Geneva, Switzerland, June 26-28,
2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14628},
pages = {413--431},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-61433-0\_20},
doi = {10.1007/978-3-031-61433-0\_20},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/LagartinhoOliveiraMG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/MorardDB24,
author = {Damien Morard and
Lucas Donati and
Didier Buchs},
editor = {Lars Michael Kristensen and
Jan Martijn E. M. van der Werf},
title = {Symbolic Model Checking Using Intervals of Vectors},
booktitle = {Application and Theory of Petri Nets and Concurrency - 45th International
Conference, {PETRI} {NETS} 2024, Geneva, Switzerland, June 26-28,
2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14628},
pages = {269--290},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-61433-0\_13},
doi = {10.1007/978-3-031-61433-0\_13},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/MorardDB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/PereiraBMCCG24,
author = {Fernando Pereira and
Jo{\~{a}}o{-}Paulo Barros and
Filipe Moutinho and
Anik{\'{o}} Costa and
Rog{\'{e}}rio Campos{-}Rebelo and
Lu{\'{\i}}s Gomes},
editor = {Lars Michael Kristensen and
Jan Martijn E. M. van der Werf},
title = {Remote Debugger: {A} Tool to Remotely Monitor and Operate IOPT-Nets
Controllers},
booktitle = {Application and Theory of Petri Nets and Concurrency - 45th International
Conference, {PETRI} {NETS} 2024, Geneva, Switzerland, June 26-28,
2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14628},
pages = {402--412},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-61433-0\_19},
doi = {10.1007/978-3-031-61433-0\_19},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/PereiraBMCCG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/SommersSD24,
author = {Dominique Sommers and
Natalia Sidorova and
Boudewijn F. van Dongen},
editor = {Lars Michael Kristensen and
Jan Martijn E. M. van der Werf},
title = {Conformance Checking with Model Projections - Rethinking Log-Model
Alignments for Processes with Interacting Objects},
booktitle = {Application and Theory of Petri Nets and Concurrency - 45th International
Conference, {PETRI} {NETS} 2024, Geneva, Switzerland, June 26-28,
2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14628},
pages = {61--82},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-61433-0\_4},
doi = {10.1007/978-3-031-61433-0\_4},
timestamp = {Wed, 19 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/SommersSD24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/TaentzerKL24,
author = {Gabriele Taentzer and
Jens Kosiol and
Leen Lambers},
editor = {Lars Michael Kristensen and
Jan Martijn E. M. van der Werf},
title = {On the Application of Model-Driven Optimization to Business Processes},
booktitle = {Application and Theory of Petri Nets and Concurrency - 45th International
Conference, {PETRI} {NETS} 2024, Geneva, Switzerland, June 26-28,
2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14628},
pages = {24--35},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-61433-0\_2},
doi = {10.1007/978-3-031-61433-0\_2},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/TaentzerKL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/WatanabeAIT24,
author = {Akio Watanabe and
Ayumi Araragi and
Hiroki Ikeuchi and
Yousuke Takahashi},
editor = {Lars Michael Kristensen and
Jan Martijn E. M. van der Werf},
title = {Concurrent Context-Free Grammar for Parsing Business Processes with
Iterated Shuffles},
booktitle = {Application and Theory of Petri Nets and Concurrency - 45th International
Conference, {PETRI} {NETS} 2024, Geneva, Switzerland, June 26-28,
2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14628},
pages = {39--60},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-61433-0\_3},
doi = {10.1007/978-3-031-61433-0\_3},
timestamp = {Wed, 19 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/WatanabeAIT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/ZechW24,
author = {Lukas Zech and
Karsten Wolf},
editor = {Lars Michael Kristensen and
Jan Martijn E. M. van der Werf},
title = {Verifying Temporal Logic Properties in the Modular State Space},
booktitle = {Application and Theory of Petri Nets and Concurrency - 45th International
Conference, {PETRI} {NETS} 2024, Geneva, Switzerland, June 26-28,
2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14628},
pages = {333--354},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-61433-0\_16},
doi = {10.1007/978-3-031-61433-0\_16},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/ZechW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2024,
editor = {Lars Michael Kristensen and
Jan Martijn E. M. van der Werf},
title = {Application and Theory of Petri Nets and Concurrency - 45th International
Conference, {PETRI} {NETS} 2024, Geneva, Switzerland, June 26-28,
2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14628},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-61433-0},
doi = {10.1007/978-3-031-61433-0},
isbn = {978-3-031-61432-3},
timestamp = {Wed, 19 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/2024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-07-11 21:17 CEST from data curated 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:
