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/pn2019.bht:"
download as .bib file
@inproceedings{DBLP:conf/apn/BiswalM19,
author = {Shruti Biswal and
Andrew S. Miner},
editor = {Susanna Donatelli and
Stefan Haar},
title = {Improving Saturation Efficiency with Implicit Relations},
booktitle = {Application and Theory of Petri Nets and Concurrency - 40th International
Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11522},
pages = {301--320},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21571-2\_17},
doi = {10.1007/978-3-030-21571-2\_17},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BiswalM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BodiniDGP19,
author = {Olivier Bodini and
Matthieu Dien and
Antoine Genitrini and
Fr{\'{e}}d{\'{e}}ric Peschanski},
editor = {Susanna Donatelli and
Stefan Haar},
title = {The Combinatorics of Barrier Synchronization},
booktitle = {Application and Theory of Petri Nets and Concurrency - 40th International
Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11522},
pages = {386--405},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21571-2\_21},
doi = {10.1007/978-3-030-21571-2\_21},
timestamp = {Tue, 11 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BodiniDGP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BoltenhagenCC19,
author = {Mathilde Boltenhagen and
Thomas Chatain and
Josep Carmona},
editor = {Susanna Donatelli and
Stefan Haar},
title = {Generalized Alignment-Based Trace Clustering of Process Behavior},
booktitle = {Application and Theory of Petri Nets and Concurrency - 40th International
Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11522},
pages = {237--257},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21571-2\_14},
doi = {10.1007/978-3-030-21571-2\_14},
timestamp = {Thu, 09 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/BoltenhagenCC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/CamilliCB19,
author = {Matteo Camilli and
Lorenzo Capra and
Carlo Bellettini},
editor = {Susanna Donatelli and
Stefan Haar},
title = {PNemu: An Extensible Modeling Library for Adaptable Distributed Systems},
booktitle = {Application and Theory of Petri Nets and Concurrency - 40th International
Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11522},
pages = {80--90},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21571-2\_5},
doi = {10.1007/978-3-030-21571-2\_5},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/CamilliCB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Devillers19,
author = {Raymond R. Devillers},
editor = {Susanna Donatelli and
Stefan Haar},
title = {Articulation of Transition Systems and Its Application to Petri Net
Synthesis},
booktitle = {Application and Theory of Petri Nets and Concurrency - 40th International
Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11522},
pages = {113--126},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21571-2\_8},
doi = {10.1007/978-3-030-21571-2\_8},
timestamp = {Tue, 11 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Devillers19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/EsparzaRW19,
author = {Javier Esparza and
Mikhail A. Raskin and
Chana Weil{-}Kennedy},
editor = {Susanna Donatelli and
Stefan Haar},
title = {Parameterized Analysis of Immediate Observation Petri Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 40th International
Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11522},
pages = {365--385},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21571-2\_20},
doi = {10.1007/978-3-030-21571-2\_20},
timestamp = {Wed, 13 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/EsparzaRW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Fahland19,
author = {Dirk Fahland},
editor = {Susanna Donatelli and
Stefan Haar},
title = {Describing Behavior of Processes with Many-to-Many Interactions},
booktitle = {Application and Theory of Petri Nets and Concurrency - 40th International
Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11522},
pages = {3--24},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21571-2\_1},
doi = {10.1007/978-3-030-21571-2\_1},
timestamp = {Fri, 05 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Fahland19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/FinkelHK19,
author = {Alain Finkel and
Serge Haddad and
Igor Khmelnitsky},
editor = {Susanna Donatelli and
Stefan Haar},
title = {Coverability and Termination in Recursive Petri Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 40th International
Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11522},
pages = {429--448},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21571-2\_23},
doi = {10.1007/978-3-030-21571-2\_23},
timestamp = {Tue, 11 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/FinkelHK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/FreibergerH19,
author = {Felix Freiberger and
Holger Hermanns},
editor = {Susanna Donatelli and
Stefan Haar},
title = {Concurrent Programming from pseuCo to Petri},
booktitle = {Application and Theory of Petri Nets and Concurrency - 40th International
Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11522},
pages = {279--297},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21571-2\_16},
doi = {10.1007/978-3-030-21571-2\_16},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/FreibergerH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Frutos-EscrigKM19,
author = {David de Frutos{-}Escrig and
Maciej Koutny and
Lukasz Mikulski},
editor = {Susanna Donatelli and
Stefan Haar},
title = {Reversing Steps in Petri Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 40th International
Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11522},
pages = {171--191},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21571-2\_11},
doi = {10.1007/978-3-030-21571-2\_11},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/Frutos-EscrigKM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Janicki19,
author = {Ryszard Janicki},
editor = {Susanna Donatelli and
Stefan Haar},
title = {On Interval Semantics of Inhibitor and Activator Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 40th International
Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11522},
pages = {192--212},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21571-2\_12},
doi = {10.1007/978-3-030-21571-2\_12},
timestamp = {Tue, 11 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Janicki19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/LiebkeW19,
author = {Torsten Liebke and
Karsten Wolf},
editor = {Susanna Donatelli and
Stefan Haar},
title = {Taking Some Burden Off an Explicit {CTL} Model Checker},
booktitle = {Application and Theory of Petri Nets and Concurrency - 40th International
Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11522},
pages = {321--341},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21571-2\_18},
doi = {10.1007/978-3-030-21571-2\_18},
timestamp = {Tue, 11 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/LiebkeW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/LimeRS19,
author = {Didier Lime and
Olivier H. Roux and
Charlotte Seidner},
editor = {Susanna Donatelli and
Stefan Haar},
title = {Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 40th International
Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11522},
pages = {406--425},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21571-2\_22},
doi = {10.1007/978-3-030-21571-2\_22},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/LimeRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/MannelA19,
author = {Lisa Luise Mannel and
Wil M. P. van der Aalst},
editor = {Susanna Donatelli and
Stefan Haar},
title = {Finding Complex Process-Structures by Exploiting the Token-Game},
booktitle = {Application and Theory of Petri Nets and Concurrency - 40th International
Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11522},
pages = {258--278},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21571-2\_15},
doi = {10.1007/978-3-030-21571-2\_15},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/MannelA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/MasettiRCG19,
author = {Giulio Masetti and
Leonardo Robol and
Silvano Chiaradonna and
Felicita Di Giandomenico},
editor = {Susanna Donatelli and
Stefan Haar},
title = {Stochastic Evaluation of Large Interdependent Composed Models Through
Kronecker Algebra and Exponential Sums},
booktitle = {Application and Theory of Petri Nets and Concurrency - 40th International
Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11522},
pages = {47--66},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21571-2\_3},
doi = {10.1007/978-3-030-21571-2\_3},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/MasettiRCG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/MikulskiL19,
author = {Lukasz Mikulski and
Ivan Lanese},
editor = {Susanna Donatelli and
Stefan Haar},
title = {Reversing Unbounded Petri Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 40th International
Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11522},
pages = {213--233},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21571-2\_13},
doi = {10.1007/978-3-030-21571-2\_13},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/MikulskiL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/MolnarM19,
author = {Vince Moln{\'{a}}r and
Istv{\'{a}}n Majzik},
editor = {Susanna Donatelli and
Stefan Haar},
title = {Saturation Enhanced with Conditional Locality: Application to Petri
Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 40th International
Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11522},
pages = {342--361},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21571-2\_19},
doi = {10.1007/978-3-030-21571-2\_19},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/MolnarM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/MontaliR19,
author = {Marco Montali and
Andrey Rivkin},
editor = {Susanna Donatelli and
Stefan Haar},
title = {From DB-nets to Coloured Petri Nets with Priorities},
booktitle = {Application and Theory of Petri Nets and Concurrency - 40th International
Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11522},
pages = {449--469},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21571-2\_24},
doi = {10.1007/978-3-030-21571-2\_24},
timestamp = {Tue, 11 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/MontaliR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/RowekampM19,
author = {Jan Henrik R{\"{o}}wekamp and
Daniel Moldt},
editor = {Susanna Donatelli and
Stefan Haar},
title = {RenewKube: Reference Net Simulation Scaling with Renew and Kubernetes},
booktitle = {Application and Theory of Petri Nets and Concurrency - 40th International
Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11522},
pages = {69--79},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21571-2\_4},
doi = {10.1007/978-3-030-21571-2\_4},
timestamp = {Tue, 11 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/RowekampM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/SchneiderV19,
author = {Vitali Schneider and
Walter Vogler},
editor = {Susanna Donatelli and
Stefan Haar},
title = {Modal Open Petri Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 40th International
Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11522},
pages = {25--46},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21571-2\_2},
doi = {10.1007/978-3-030-21571-2\_2},
timestamp = {Tue, 11 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/SchneiderV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/SimonMSH19,
author = {Michael Simon and
Daniel Moldt and
Dennis Schmitz and
Michael Haustermann},
editor = {Susanna Donatelli and
Stefan Haar},
title = {Tools for Curry-Coloured Petri Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 40th International
Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11522},
pages = {101--110},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21571-2\_7},
doi = {10.1007/978-3-030-21571-2\_7},
timestamp = {Tue, 11 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/SimonMSH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Tredup19,
author = {Ronny Tredup},
editor = {Susanna Donatelli and
Stefan Haar},
title = {Hardness Results for the Synthesis of b-bounded Petri Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 40th International
Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11522},
pages = {127--147},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21571-2\_9},
doi = {10.1007/978-3-030-21571-2\_9},
timestamp = {Tue, 11 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Tredup19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Tredup19a,
author = {Ronny Tredup},
editor = {Susanna Donatelli and
Stefan Haar},
title = {Fixed Parameter Tractability and Polynomial Time Results for the Synthesis
of b-bounded Petri Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 40th International
Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11522},
pages = {148--168},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21571-2\_10},
doi = {10.1007/978-3-030-21571-2\_10},
timestamp = {Tue, 11 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Tredup19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/WerfS19,
author = {Jan Martijn E. M. van der Werf and
Lucas Steehouwer},
editor = {Susanna Donatelli and
Stefan Haar},
title = {CoRA: An Online Intelligent Tutoring System to Practice Coverability
Graph Construction},
booktitle = {Application and Theory of Petri Nets and Concurrency - 40th International
Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11522},
pages = {91--100},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21571-2\_6},
doi = {10.1007/978-3-030-21571-2\_6},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/WerfS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2019,
editor = {Susanna Donatelli and
Stefan Haar},
title = {Application and Theory of Petri Nets and Concurrency - 40th International
Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11522},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21571-2},
doi = {10.1007/978-3-030-21571-2},
isbn = {978-3-030-21570-5},
timestamp = {Tue, 11 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/2019.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-05-23 08:25 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:
