![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/apn/pn2020.bht:"
@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} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.