default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/apn/pn2020.bht:"
download as .bib file
@inproceedings{DBLP:conf/apn/AalstUDF20,
author = {Wil M. P. van der Aalst and
Daniel Tacke genannt Unterberg and
Vadim Denisov and
Dirk Fahland},
editor = {Ryszard Janicki and
Natalia Sidorova and
Thomas Chatain},
title = {Visualizing Token Flows Using Interactive Performance Spectra},
booktitle = {Application and Theory of Petri Nets and Concurrency - 41st International
Conference, {PETRI} {NETS} 2020, Paris, France, June 24-25, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12152},
pages = {369--380},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51831-8\_18},
doi = {10.1007/978-3-030-51831-8\_18},
timestamp = {Fri, 17 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/AalstUDF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/AllamigeonBG20,
author = {Xavier Allamigeon and
Marin Boyet and
St{\'{e}}phane Gaubert},
editor = {Ryszard Janicki and
Natalia Sidorova and
Thomas Chatain},
title = {Piecewise Affine Dynamical Models of Timed Petri Nets - Application
to Emergency Call Centers},
booktitle = {Application and Theory of Petri Nets and Concurrency - 41st International
Conference, {PETRI} {NETS} 2020, Paris, France, June 24-25, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12152},
pages = {260--279},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51831-8\_13},
doi = {10.1007/978-3-030-51831-8\_13},
timestamp = {Tue, 30 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/AllamigeonBG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/AmparoreDG20,
author = {Elvio Gilberto Amparore and
Susanna Donatelli and
Francesco Gall{\`{a}}},
editor = {Ryszard Janicki and
Natalia Sidorova and
Thomas Chatain},
title = {A CTL* Model Checker for Petri Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 41st International
Conference, {PETRI} {NETS} 2020, Paris, France, June 24-25, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12152},
pages = {403--413},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51831-8\_21},
doi = {10.1007/978-3-030-51831-8\_21},
timestamp = {Tue, 30 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/AmparoreDG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BallariniDHA20,
author = {Paolo Ballarini and
Davide Duma and
Andr{\'{a}}s Horv{\'{a}}th and
Roberto Aringhieri},
editor = {Ryszard Janicki and
Natalia Sidorova and
Thomas Chatain},
title = {Petri Nets Validation of Markovian Models of Emergency Department
Arrivals},
booktitle = {Application and Theory of Petri Nets and Concurrency - 41st International
Conference, {PETRI} {NETS} 2020, Paris, France, June 24-25, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12152},
pages = {219--238},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51831-8\_11},
doi = {10.1007/978-3-030-51831-8\_11},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/BallariniDHA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BestDE20,
author = {Eike Best and
Raymond R. Devillers and
Evgeny Erofeev},
editor = {Ryszard Janicki and
Natalia Sidorova and
Thomas Chatain},
title = {A New Property of Choice-Free Petri Net Systems},
booktitle = {Application and Theory of Petri Nets and Concurrency - 41st International
Conference, {PETRI} {NETS} 2020, Paris, France, June 24-25, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12152},
pages = {89--108},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51831-8\_5},
doi = {10.1007/978-3-030-51831-8\_5},
timestamp = {Tue, 30 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BestDE20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BourhisH0S20,
author = {Pierre Bourhis and
Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and
Zolt{\'{a}}n Mikl{\'{o}}s and
Rituraj Singh},
editor = {Ryszard Janicki and
Natalia Sidorova and
Thomas Chatain},
title = {Data Centric Workflows for Crowdsourcing},
booktitle = {Application and Theory of Petri Nets and Concurrency - 41st International
Conference, {PETRI} {NETS} 2020, Paris, France, June 24-25, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12152},
pages = {24--45},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51831-8\_2},
doi = {10.1007/978-3-030-51831-8\_2},
timestamp = {Tue, 30 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BourhisH0S20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BouvierGL20,
author = {Pierre Bouvier and
Hubert Garavel and
Hern{\'{a}}n Ponce de Le{\'{o}}n},
editor = {Ryszard Janicki and
Natalia Sidorova and
Thomas Chatain},
title = {Automatic Decomposition of Petri Nets into Automata Networks - {A}
Synthetic Account},
booktitle = {Application and Theory of Petri Nets and Concurrency - 41st International
Conference, {PETRI} {NETS} 2020, Paris, France, June 24-25, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12152},
pages = {3--23},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51831-8\_1},
doi = {10.1007/978-3-030-51831-8\_1},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BouvierGL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/CapraPF20,
author = {Lorenzo Capra and
Massimiliano De Pierro and
Giuliana Franceschinis},
editor = {Ryszard Janicki and
Natalia Sidorova and
Thomas Chatain},
title = {SNexpression: {A} Symbolic Calculator for Symmetric Net Expressions},
booktitle = {Application and Theory of Petri Nets and Concurrency - 41st International
Conference, {PETRI} {NETS} 2020, Paris, France, June 24-25, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12152},
pages = {381--391},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51831-8\_19},
doi = {10.1007/978-3-030-51831-8\_19},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/CapraPF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Dal-Zilio20,
author = {Silvano Dal{-}Zilio},
editor = {Ryszard Janicki and
Natalia Sidorova and
Thomas Chatain},
title = {{MCC:} {A} Tool for Unfolding Colored Petri Nets in {PNML} Format},
booktitle = {Application and Theory of Petri Nets and Concurrency - 41st International
Conference, {PETRI} {NETS} 2020, Paris, France, June 24-25, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12152},
pages = {426--435},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51831-8\_23},
doi = {10.1007/978-3-030-51831-8\_23},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Dal-Zilio20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DenisovFA20,
author = {Vadim Denisov and
Dirk Fahland and
Wil M. P. van der Aalst},
editor = {Ryszard Janicki and
Natalia Sidorova and
Thomas Chatain},
title = {Repairing Event Logs with Missing Events to Support Performance Analysis
of Systems with Shared Resources},
booktitle = {Application and Theory of Petri Nets and Concurrency - 41st International
Conference, {PETRI} {NETS} 2020, Paris, France, June 24-25, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12152},
pages = {239--259},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51831-8\_12},
doi = {10.1007/978-3-030-51831-8\_12},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/DenisovFA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DeselFF20,
author = {J{\"{o}}rg Desel and
Marc Finthammer and
Andrea Frank},
editor = {Ryszard Janicki and
Natalia Sidorova and
Thomas Chatain},
title = {Cycl{\textdollar}{\textbackslash}mathbf \{{\textbackslash}circlearrowright
\}{\textdollar}n - {A} Tool for Determining Stop-Transitions of Petri
Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 41st International
Conference, {PETRI} {NETS} 2020, Paris, France, June 24-25, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12152},
pages = {392--402},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51831-8\_20},
doi = {10.1007/978-3-030-51831-8\_20},
timestamp = {Tue, 30 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/DeselFF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Finkel20,
author = {Olivier Finkel},
editor = {Ryszard Janicki and
Natalia Sidorova and
Thomas Chatain},
title = {On the High Complexity of Petri Nets {\o}mega-Languages},
booktitle = {Application and Theory of Petri Nets and Concurrency - 41st International
Conference, {PETRI} {NETS} 2020, Paris, France, June 24-25, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12152},
pages = {69--88},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51831-8\_4},
doi = {10.1007/978-3-030-51831-8\_4},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Finkel20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Gorrieri20,
author = {Roberto Gorrieri},
editor = {Ryszard Janicki and
Natalia Sidorova and
Thomas Chatain},
title = {Interleaving vs True Concurrency: Some Instructive Security Examples},
booktitle = {Application and Theory of Petri Nets and Concurrency - 41st International
Conference, {PETRI} {NETS} 2020, Paris, France, June 24-25, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12152},
pages = {131--152},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51831-8\_7},
doi = {10.1007/978-3-030-51831-8\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Gorrieri20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Gorrieri20a,
author = {Roberto Gorrieri},
editor = {Ryszard Janicki and
Natalia Sidorova and
Thomas Chatain},
title = {A Study on Team Bisimulations for {BPP} Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 41st International
Conference, {PETRI} {NETS} 2020, Paris, France, June 24-25, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12152},
pages = {153--175},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51831-8\_8},
doi = {10.1007/978-3-030-51831-8\_8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Gorrieri20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HaddadK20,
author = {Serge Haddad and
Igor Khmelnitsky},
editor = {Ryszard Janicki and
Natalia Sidorova and
Thomas Chatain},
title = {Dynamic Recursive Petri Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 41st International
Conference, {PETRI} {NETS} 2020, Paris, France, June 24-25, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12152},
pages = {345--366},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51831-8\_17},
doi = {10.1007/978-3-030-51831-8\_17},
timestamp = {Tue, 30 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/HaddadK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KalenkovaCPR20,
author = {Anna A. Kalenkova and
Josep Carmona and
Artem Polyvyanyy and
Marcello La Rosa},
editor = {Ryszard Janicki and
Natalia Sidorova and
Thomas Chatain},
title = {Automated Repair of Process Models Using Non-local Constraints},
booktitle = {Application and Theory of Petri Nets and Concurrency - 41st International
Conference, {PETRI} {NETS} 2020, Paris, France, June 24-25, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12152},
pages = {280--300},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51831-8\_14},
doi = {10.1007/978-3-030-51831-8\_14},
timestamp = {Thu, 09 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/KalenkovaCPR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KarraLMS20,
author = {Shyam Lal Karra and
Kim Guldstrand Larsen and
Marco Mu{\~{n}}iz and
Jir{\'{\i}} Srba},
editor = {Ryszard Janicki and
Natalia Sidorova and
Thomas Chatain},
title = {On-the-Fly Synthesis for Strictly Alternating Games},
booktitle = {Application and Theory of Petri Nets and Concurrency - 41st International
Conference, {PETRI} {NETS} 2020, Paris, France, June 24-25, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12152},
pages = {109--128},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51831-8\_6},
doi = {10.1007/978-3-030-51831-8\_6},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/KarraLMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KaufmannLS20,
author = {Isabella Kaufmann and
Kim Guldstrand Larsen and
Jir{\'{\i}} Srba},
editor = {Ryszard Janicki and
Natalia Sidorova and
Thomas Chatain},
title = {Synthesis for Multi-weighted Games with Branching-Time Winning Conditions},
booktitle = {Application and Theory of Petri Nets and Concurrency - 41st International
Conference, {PETRI} {NETS} 2020, Paris, France, June 24-25, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12152},
pages = {46--66},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51831-8\_3},
doi = {10.1007/978-3-030-51831-8\_3},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/KaufmannLS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Liu20,
author = {Guanjun Liu},
editor = {Ryszard Janicki and
Natalia Sidorova and
Thomas Chatain},
title = {PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice
Workflow Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 41st International
Conference, {PETRI} {NETS} 2020, Paris, France, June 24-25, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12152},
pages = {196--216},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51831-8\_10},
doi = {10.1007/978-3-030-51831-8\_10},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Liu20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/SchwarickR0ACH20,
author = {Martin Schwarick and
Christian Rohr and
Fei Liu and
George Assaf and
Jacek Chodak and
Monika Heiner},
editor = {Ryszard Janicki and
Natalia Sidorova and
Thomas Chatain},
title = {Efficient Unfolding of Coloured Petri Nets Using Interval Decision
Diagrams},
booktitle = {Application and Theory of Petri Nets and Concurrency - 41st International
Conference, {PETRI} {NETS} 2020, Paris, France, June 24-25, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12152},
pages = {324--344},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51831-8\_16},
doi = {10.1007/978-3-030-51831-8\_16},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/SchwarickR0ACH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Thierry-Mieg20,
author = {Yann Thierry{-}Mieg},
editor = {Ryszard Janicki and
Natalia Sidorova and
Thomas Chatain},
title = {Structural Reductions Revisited},
booktitle = {Application and Theory of Petri Nets and Concurrency - 41st International
Conference, {PETRI} {NETS} 2020, Paris, France, June 24-25, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12152},
pages = {303--323},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51831-8\_15},
doi = {10.1007/978-3-030-51831-8\_15},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Thierry-Mieg20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Valk20,
author = {R{\"{u}}diger Valk},
editor = {Ryszard Janicki and
Natalia Sidorova and
Thomas Chatain},
title = {Circular Traffic Queues and Petri's Cycloids},
booktitle = {Application and Theory of Petri Nets and Concurrency - 41st International
Conference, {PETRI} {NETS} 2020, Paris, France, June 24-25, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12152},
pages = {176--195},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51831-8\_9},
doi = {10.1007/978-3-030-51831-8\_9},
timestamp = {Tue, 30 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Valk20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/WerfP20,
author = {Jan Martijn E. M. van der Werf and
Artem Polyvyanyy},
editor = {Ryszard Janicki and
Natalia Sidorova and
Thomas Chatain},
title = {The Information Systems Modeling Suite - Modeling the Interplay Between
Information and Processes},
booktitle = {Application and Theory of Petri Nets and Concurrency - 41st International
Conference, {PETRI} {NETS} 2020, Paris, France, June 24-25, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12152},
pages = {414--425},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51831-8\_22},
doi = {10.1007/978-3-030-51831-8\_22},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/WerfP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2020,
editor = {Ryszard Janicki and
Natalia Sidorova and
Thomas Chatain},
title = {Application and Theory of Petri Nets and Concurrency - 41st International
Conference, {PETRI} {NETS} 2020, Paris, France, June 24-25, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12152},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51831-8},
doi = {10.1007/978-3-030-51831-8},
isbn = {978-3-030-51830-1},
timestamp = {Tue, 30 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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 2025-01-20 14:42 CET 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:
