Search dblp for Publications

export results for "toc:db/conf/apn/pn2023.bht:"

 download as .bib file

@inproceedings{DBLP:conf/apn/AmatDB23,
  author       = {Nicolas Amat and
                  Silvano Dal{-}Zilio and
                  Didier Le Botlan},
  editor       = {Lu{\'{\i}}s Gomes and
                  Robert Lorenz},
  title        = {Automated Polyhedral Abstraction Proving},
  booktitle    = {Application and Theory of Petri Nets and Concurrency - 44th International
                  Conference, {PETRI} {NETS} 2023, Lisbon, Portugal, June 25-30, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13929},
  pages        = {324--345},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33620-1\_18},
  doi          = {10.1007/978-3-031-33620-1\_18},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/AmatDB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/AriasBOOPR23,
  author       = {Jaime Arias and
                  Kyungmin Bae and
                  Carlos Olarte and
                  Peter Csaba {\"{O}}lveczky and
                  Laure Petrucci and
                  Fredrik R{\o}mming},
  editor       = {Lu{\'{\i}}s Gomes and
                  Robert Lorenz},
  title        = {Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using
                  Maude and {SMT} Solving},
  booktitle    = {Application and Theory of Petri Nets and Concurrency - 44th International
                  Conference, {PETRI} {NETS} 2023, Lisbon, Portugal, June 25-30, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13929},
  pages        = {369--392},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33620-1\_20},
  doi          = {10.1007/978-3-031-33620-1\_20},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/AriasBOOPR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/BarenholzMPRRW23,
  author       = {Dani{\"{e}}l Barenholz and
                  Marco Montali and
                  Artem Polyvyanyy and
                  Hajo A. Reijers and
                  Andrey Rivkin and
                  Jan Martijn E. M. van der Werf},
  editor       = {Lu{\'{\i}}s Gomes and
                  Robert Lorenz},
  title        = {There and Back Again - On the Reconstructability and Rediscoverability
                  of Typed Jackson Nets},
  booktitle    = {Application and Theory of Petri Nets and Concurrency - 44th International
                  Conference, {PETRI} {NETS} 2023, Lisbon, Portugal, June 25-30, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13929},
  pages        = {37--58},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33620-1\_3},
  doi          = {10.1007/978-3-031-33620-1\_3},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/BarenholzMPRRW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/BergenthumFK23,
  author       = {Robin Bergenthum and
                  Sabine Folz{-}Weinstein and
                  Jakub Kov{\'{a}}r},
  editor       = {Lu{\'{\i}}s Gomes and
                  Robert Lorenz},
  title        = {Token Trail Semantics - Modeling Behavior of Petri Nets with Labeled
                  Petri Nets},
  booktitle    = {Application and Theory of Petri Nets and Concurrency - 44th International
                  Conference, {PETRI} {NETS} 2023, Lisbon, Portugal, June 25-30, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13929},
  pages        = {286--306},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33620-1\_16},
  doi          = {10.1007/978-3-031-33620-1\_16},
  timestamp    = {Wed, 31 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/BergenthumFK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/CosmaHS23,
  author       = {Vlad Paul Cosma and
                  Thomas T. Hildebrandt and
                  Tijs Slaats},
  editor       = {Lu{\'{\i}}s Gomes and
                  Robert Lorenz},
  title        = {Transforming Dynamic Condition Response Graphs to Safe Petri Nets},
  booktitle    = {Application and Theory of Petri Nets and Concurrency - 44th International
                  Conference, {PETRI} {NETS} 2023, Lisbon, Portugal, June 25-30, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13929},
  pages        = {417--439},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33620-1\_22},
  doi          = {10.1007/978-3-031-33620-1\_22},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/CosmaHS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/Devillers23,
  author       = {Raymond R. Devillers},
  editor       = {Lu{\'{\i}}s Gomes and
                  Robert Lorenz},
  title        = {On the Reversibility of Circular Conservative Petri Nets},
  booktitle    = {Application and Theory of Petri Nets and Concurrency - 44th International
                  Conference, {PETRI} {NETS} 2023, Lisbon, Portugal, June 25-30, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13929},
  pages        = {307--323},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33620-1\_17},
  doi          = {10.1007/978-3-031-33620-1\_17},
  timestamp    = {Wed, 31 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/Devillers23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/Evangelista23,
  author       = {Sami Evangelista},
  editor       = {Lu{\'{\i}}s Gomes and
                  Robert Lorenz},
  title        = {Experimenting with Stubborn Sets on Petri Nets},
  booktitle    = {Application and Theory of Petri Nets and Concurrency - 44th International
                  Conference, {PETRI} {NETS} 2023, Lisbon, Portugal, June 25-30, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13929},
  pages        = {346--365},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33620-1\_19},
  doi          = {10.1007/978-3-031-33620-1\_19},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/Evangelista23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/FahrenbergZ23,
  author       = {Uli Fahrenberg and
                  Krzysztof Ziemianski},
  editor       = {Lu{\'{\i}}s Gomes and
                  Robert Lorenz},
  title        = {A Myhill-Nerode Theorem for Higher-Dimensional Automata},
  booktitle    = {Application and Theory of Petri Nets and Concurrency - 44th International
                  Conference, {PETRI} {NETS} 2023, Lisbon, Portugal, June 25-30, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13929},
  pages        = {167--188},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33620-1\_9},
  doi          = {10.1007/978-3-031-33620-1\_9},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/FahrenbergZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/FolzWeinsteinBDK23,
  author       = {Sabine Folz{-}Weinstein and
                  Robin Bergenthum and
                  J{\"{o}}rg Desel and
                  Jakub Kov{\'{a}}r},
  editor       = {Lu{\'{\i}}s Gomes and
                  Robert Lorenz},
  title        = {ILP\({}^{\mbox{2}}\) Miner - Process Discovery for Partially Ordered
                  Event Logs Using Integer Linear Programming},
  booktitle    = {Application and Theory of Petri Nets and Concurrency - 44th International
                  Conference, {PETRI} {NETS} 2023, Lisbon, Portugal, June 25-30, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13929},
  pages        = {59--76},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33620-1\_4},
  doi          = {10.1007/978-3-031-33620-1\_4},
  timestamp    = {Wed, 31 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/FolzWeinsteinBDK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/HelouetT23,
  author       = {Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and
                  Antoine Th{\'{e}}bault},
  editor       = {Lu{\'{\i}}s Gomes and
                  Robert Lorenz},
  title        = {Mochy: {A} Tool for the Modeling of Concurrent Hybrid Systems},
  booktitle    = {Application and Theory of Petri Nets and Concurrency - 44th International
                  Conference, {PETRI} {NETS} 2023, Lisbon, Portugal, June 25-30, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13929},
  pages        = {205--216},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33620-1\_11},
  doi          = {10.1007/978-3-031-33620-1\_11},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/HelouetT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/HosseiniC23,
  author       = {Seyedehzahra Hosseini and
                  Gianfranco Ciardo},
  editor       = {Lu{\'{\i}}s Gomes and
                  Robert Lorenz},
  title        = {Computing Under-approximations of Multivalued Decision Diagrams},
  booktitle    = {Application and Theory of Petri Nets and Concurrency - 44th International
                  Conference, {PETRI} {NETS} 2023, Lisbon, Portugal, June 25-30, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13929},
  pages        = {243--263},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33620-1\_14},
  doi          = {10.1007/978-3-031-33620-1\_14},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/HosseiniC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/JanickiKM23,
  author       = {Ryszard Janicki and
                  Maciej Koutny and
                  Lukasz Mikulski},
  editor       = {Lu{\'{\i}}s Gomes and
                  Robert Lorenz},
  title        = {Interval Traces with Mutex Relation},
  booktitle    = {Application and Theory of Petri Nets and Concurrency - 44th International
                  Conference, {PETRI} {NETS} 2023, Lisbon, Portugal, June 25-30, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13929},
  pages        = {145--166},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33620-1\_8},
  doi          = {10.1007/978-3-031-33620-1\_8},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/JanickiKM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/LeclercqLR23,
  author       = {Loriane Leclercq and
                  Didier Lime and
                  Olivier H. Roux},
  editor       = {Lu{\'{\i}}s Gomes and
                  Robert Lorenz},
  title        = {A State Class Based Controller Synthesis Approach for Time Petri Nets},
  booktitle    = {Application and Theory of Petri Nets and Concurrency - 44th International
                  Conference, {PETRI} {NETS} 2023, Lisbon, Portugal, June 25-30, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13929},
  pages        = {393--414},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33620-1\_21},
  doi          = {10.1007/978-3-031-33620-1\_21},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/LeclercqLR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/MannhardtLSL23,
  author       = {Felix Mannhardt and
                  Sander J. J. Leemans and
                  Christopher T. Schwanen and
                  Massimiliano de Leoni},
  editor       = {Lu{\'{\i}}s Gomes and
                  Robert Lorenz},
  title        = {Modelling Data-Aware Stochastic Processes - Discovery and Conformance
                  Checking},
  booktitle    = {Application and Theory of Petri Nets and Concurrency - 44th International
                  Conference, {PETRI} {NETS} 2023, Lisbon, Portugal, June 25-30, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13929},
  pages        = {77--98},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33620-1\_5},
  doi          = {10.1007/978-3-031-33620-1\_5},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/MannhardtLSL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/MoldtHSICEF23,
  author       = {Daniel Moldt and
                  Marcel Hansson and
                  Lukas Seifert and
                  Karl Ihlenfeldt and
                  Laif{-}Oke Clasen and
                  Kjell Ehlers and
                  Matthias Feldmann},
  editor       = {Lu{\'{\i}}s Gomes and
                  Robert Lorenz},
  title        = {Enriching Heraklit Modules by Agent Interaction Diagrams},
  booktitle    = {Application and Theory of Petri Nets and Concurrency - 44th International
                  Conference, {PETRI} {NETS} 2023, Lisbon, Portugal, June 25-30, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13929},
  pages        = {440--463},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33620-1\_23},
  doi          = {10.1007/978-3-031-33620-1\_23},
  timestamp    = {Wed, 31 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/MoldtHSICEF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/MoldtJSCHHHFI23,
  author       = {Daniel Moldt and
                  Jonte Johnsen and
                  Relana Streckenbach and
                  Laif{-}Oke Clasen and
                  Michael Haustermann and
                  Alexander Heinze and
                  Marcel Hansson and
                  Matthias Feldmann and
                  Karl Ihlenfeldt},
  editor       = {Lu{\'{\i}}s Gomes and
                  Robert Lorenz},
  title        = {{RENEW:} Modularized Architecture and New Features},
  booktitle    = {Application and Theory of Petri Nets and Concurrency - 44th International
                  Conference, {PETRI} {NETS} 2023, Lisbon, Portugal, June 25-30, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13929},
  pages        = {217--228},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33620-1\_12},
  doi          = {10.1007/978-3-031-33620-1\_12},
  timestamp    = {Wed, 31 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/MoldtJSCHHHFI23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/RinderleMaBM23,
  author       = {Stefanie Rinderle{-}Ma and
                  Janik{-}Vasily Benzin and
                  Juergen Mangler},
  editor       = {Lu{\'{\i}}s Gomes and
                  Robert Lorenz},
  title        = {From Process-Agnostic to Process-Aware Automation, Mining, and Prediction},
  booktitle    = {Application and Theory of Petri Nets and Concurrency - 44th International
                  Conference, {PETRI} {NETS} 2023, Lisbon, Portugal, June 25-30, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13929},
  pages        = {3--15},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33620-1\_1},
  doi          = {10.1007/978-3-031-33620-1\_1},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/RinderleMaBM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/SommersSD23,
  author       = {Dominique Sommers and
                  Natalia Sidorova and
                  Boudewijn F. van Dongen},
  editor       = {Lu{\'{\i}}s Gomes and
                  Robert Lorenz},
  title        = {Exact and Approximated Log Alignments for Processes with Inter-case
                  Dependencies},
  booktitle    = {Application and Theory of Petri Nets and Concurrency - 44th International
                  Conference, {PETRI} {NETS} 2023, Lisbon, Portugal, June 25-30, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13929},
  pages        = {99--119},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33620-1\_6},
  doi          = {10.1007/978-3-031-33620-1\_6},
  timestamp    = {Wed, 31 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/SommersSD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/WisniewskiBWP23,
  author       = {Remigiusz Wisniewski and
                  Grzegorz Bazydlo and
                  Marcin Wojnakowski and
                  Mateusz Poplawski},
  editor       = {Lu{\'{\i}}s Gomes and
                  Robert Lorenz},
  title        = {Hippo-CPS: {A} Tool for Verification and Analysis of Petri Net-Based
                  Cyber-Physical Systems},
  booktitle    = {Application and Theory of Petri Nets and Concurrency - 44th International
                  Conference, {PETRI} {NETS} 2023, Lisbon, Portugal, June 25-30, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13929},
  pages        = {191--204},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33620-1\_10},
  doi          = {10.1007/978-3-031-33620-1\_10},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/WisniewskiBWP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/WittboldBHHK23,
  author       = {Florian Wittbold and
                  Rebecca Bernemann and
                  Reiko Heckel and
                  Tobias Heindel and
                  Barbara K{\"{o}}nig},
  editor       = {Lu{\'{\i}}s Gomes and
                  Robert Lorenz},
  title        = {Stochastic Decision Petri Nets},
  booktitle    = {Application and Theory of Petri Nets and Concurrency - 44th International
                  Conference, {PETRI} {NETS} 2023, Lisbon, Portugal, June 25-30, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13929},
  pages        = {264--285},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33620-1\_15},
  doi          = {10.1007/978-3-031-33620-1\_15},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/WittboldBHHK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/WurdemannCH23,
  author       = {Nick W{\"{u}}rdemann and
                  Thomas Chatain and
                  Stefan Haar},
  editor       = {Lu{\'{\i}}s Gomes and
                  Robert Lorenz},
  title        = {Taking Complete Finite Prefixes to High Level, Symbolically},
  booktitle    = {Application and Theory of Petri Nets and Concurrency - 44th International
                  Conference, {PETRI} {NETS} 2023, Lisbon, Portugal, June 25-30, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13929},
  pages        = {123--144},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33620-1\_7},
  doi          = {10.1007/978-3-031-33620-1\_7},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/WurdemannCH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/XavierPDV23,
  author       = {Midhun Xavier and
                  Sandeep Patil and
                  Victor Dubinin and
                  Valeriy Vyatkin},
  editor       = {Lu{\'{\i}}s Gomes and
                  Robert Lorenz},
  title        = {Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems
                  Inspired by Net Condition/Event Systems},
  booktitle    = {Application and Theory of Petri Nets and Concurrency - 44th International
                  Conference, {PETRI} {NETS} 2023, Lisbon, Portugal, June 25-30, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13929},
  pages        = {16--33},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33620-1\_2},
  doi          = {10.1007/978-3-031-33620-1\_2},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/XavierPDV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/ZhangA23,
  author       = {Yisong Zhang and
                  Wil M. P. van der Aalst},
  editor       = {Lu{\'{\i}}s Gomes and
                  Robert Lorenz},
  title        = {Explorative Process Discovery Using Activity Projections},
  booktitle    = {Application and Theory of Petri Nets and Concurrency - 44th International
                  Conference, {PETRI} {NETS} 2023, Lisbon, Portugal, June 25-30, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13929},
  pages        = {229--239},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33620-1\_13},
  doi          = {10.1007/978-3-031-33620-1\_13},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/ZhangA23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/apn/2023,
  editor       = {Lu{\'{\i}}s Gomes and
                  Robert Lorenz},
  title        = {Application and Theory of Petri Nets and Concurrency - 44th International
                  Conference, {PETRI} {NETS} 2023, Lisbon, Portugal, June 25-30, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13929},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33620-1},
  doi          = {10.1007/978-3-031-33620-1},
  isbn         = {978-3-031-33619-5},
  timestamp    = {Wed, 31 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/2023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.