![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/apn/pnse2020.bht:"
@inproceedings{DBLP:conf/apn/AhmedP20, author = {Aishah Ahmed and Marta Pietkiewicz{-}Koutny}, editor = {Michael K{\"{o}}hler{-}Bu{\ss}meier and Ekkart Kindler and Heiko R{\"{o}}lke}, title = {Algorithms for the Synthesis of Elementary Net Systems with Localities}, booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency {(PETRI} {NETS} 2020), Paris, France, June 24, 2020 (due to {COVID-19:} virtual conference)}, series = {{CEUR} Workshop Proceedings}, volume = {2651}, pages = {86--107}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2651/paper6.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:38 +0100}, biburl = {https://dblp.org/rec/conf/apn/AhmedP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/ArcileDK20, author = {Johan Arcile and Raymond R. Devillers and Hanna Klaudel}, editor = {Michael K{\"{o}}hler{-}Bu{\ss}meier and Ekkart Kindler and Heiko R{\"{o}}lke}, title = {Models for Dynamic Exploration of the Statespaces of Autonomous Vehicles}, booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency {(PETRI} {NETS} 2020), Paris, France, June 24, 2020 (due to {COVID-19:} virtual conference)}, series = {{CEUR} Workshop Proceedings}, volume = {2651}, pages = {29--48}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2651/paper3.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apn/ArcileDK20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/AssiriJ20, author = {Mohammed Assiri and Ryszard Janicki}, editor = {Michael K{\"{o}}hler{-}Bu{\ss}meier and Ekkart Kindler and Heiko R{\"{o}}lke}, title = {Modelling and Analyzing Electrocardiogram Events using Timed Coloured Petri Nets}, booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency {(PETRI} {NETS} 2020), Paris, France, June 24, 2020 (due to {COVID-19:} virtual conference)}, series = {{CEUR} Workshop Proceedings}, volume = {2651}, pages = {222--223}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2651/posterextabs5.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apn/AssiriJ20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/BernardinelloLN20, author = {Luca Bernardinello and Irina A. Lomazova and Roman Nesterov and Lucia Pomello}, editor = {Michael K{\"{o}}hler{-}Bu{\ss}meier and Ekkart Kindler and Heiko R{\"{o}}lke}, title = {Property-Preserving Transformations of Elementary Net Systems Based on Morphisms}, booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency {(PETRI} {NETS} 2020), Paris, France, June 24, 2020 (due to {COVID-19:} virtual conference)}, series = {{CEUR} Workshop Proceedings}, volume = {2651}, pages = {49--67}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2651/paper4.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apn/BernardinelloLN20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/CarrasquelLR20, author = {Julio Cesar Carrasquel and Irina A. Lomazova and Andrey Rivkin}, editor = {Michael K{\"{o}}hler{-}Bu{\ss}meier and Ekkart Kindler and Heiko R{\"{o}}lke}, title = {Modeling Trading Systems using Petri Net Extensions}, booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency {(PETRI} {NETS} 2020), Paris, France, June 24, 2020 (due to {COVID-19:} virtual conference)}, series = {{CEUR} Workshop Proceedings}, volume = {2651}, pages = {118--137}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2651/paper8.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apn/CarrasquelLR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/GkolfiJKY20, author = {Anastasia Gkolfi and Einar Broch Johnsen and Lars Michael Kristensen and Ingrid Chieh Yu}, editor = {Michael K{\"{o}}hler{-}Bu{\ss}meier and Ekkart Kindler and Heiko R{\"{o}}lke}, title = {Model Checking Starvation for Resource-aware Active Objects with Coloured Petri Nets}, booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency {(PETRI} {NETS} 2020), Paris, France, June 24, 2020 (due to {COVID-19:} virtual conference)}, series = {{CEUR} Workshop Proceedings}, volume = {2651}, pages = {68--85}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2651/paper5.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apn/GkolfiJKY20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/IampietroAD20, author = {Vincent Iampietro and David Andreu and David Delahaye}, editor = {Michael K{\"{o}}hler{-}Bu{\ss}meier and Ekkart Kindler and Heiko R{\"{o}}lke}, title = {Toward the Formal Verification of {HILECOP:} Formalization and Implementation of Synchronously Executed Petri Nets}, booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency {(PETRI} {NETS} 2020), Paris, France, June 24, 2020 (due to {COVID-19:} virtual conference)}, series = {{CEUR} Workshop Proceedings}, volume = {2651}, pages = {214--215}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2651/posterextabs1.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apn/IampietroAD20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/JessenM20, author = {Bjarne Jessen and Daniel Moldt}, editor = {Michael K{\"{o}}hler{-}Bu{\ss}meier and Ekkart Kindler and Heiko R{\"{o}}lke}, title = {Some Simple Extensions of Petri's Cycloids}, booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency {(PETRI} {NETS} 2020), Paris, France, June 24, 2020 (due to {COVID-19:} virtual conference)}, series = {{CEUR} Workshop Proceedings}, volume = {2651}, pages = {194--213}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2651/paper13.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apn/JessenM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/Liebke20, author = {Torsten Liebke}, editor = {Michael K{\"{o}}hler{-}Bu{\ss}meier and Ekkart Kindler and Heiko R{\"{o}}lke}, title = {B{\"{u}}chi-Automata guided Partial Order Reduction for {LTL}}, booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency {(PETRI} {NETS} 2020), Paris, France, June 24, 2020 (due to {COVID-19:} virtual conference)}, series = {{CEUR} Workshop Proceedings}, volume = {2651}, pages = {147--166}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2651/paper10.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apn/Liebke20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/LiebkeR20, author = {Torsten Liebke and Christian Rosenke}, editor = {Michael K{\"{o}}hler{-}Bu{\ss}meier and Ekkart Kindler and Heiko R{\"{o}}lke}, title = {Faster Enabledness-Updates for the Reachability Graph Computation}, booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency {(PETRI} {NETS} 2020), Paris, France, June 24, 2020 (due to {COVID-19:} virtual conference)}, series = {{CEUR} Workshop Proceedings}, volume = {2651}, pages = {108--117}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2651/paper7.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apn/LiebkeR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/LiebkeW20, author = {Torsten Liebke and Karsten Wolf}, editor = {Michael K{\"{o}}hler{-}Bu{\ss}meier and Ekkart Kindler and Heiko R{\"{o}}lke}, title = {Verification of Token-Scaling Models using an Under-Approximation}, booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency {(PETRI} {NETS} 2020), Paris, France, June 24, 2020 (due to {COVID-19:} virtual conference)}, series = {{CEUR} Workshop Proceedings}, volume = {2651}, pages = {1--9}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2651/paper1.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apn/LiebkeW20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/MittalBSB20, author = {Rakshit Mittal and Rochisnu Banerjee and Santonu Sarkar and Soumyadip Bandyopadhyay}, editor = {Michael K{\"{o}}hler{-}Bu{\ss}meier and Ekkart Kindler and Heiko R{\"{o}}lke}, title = {Translation Validation of Loop involving Code Optimizing Transformations using Petri Net based Models of Programs}, booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency {(PETRI} {NETS} 2020), Paris, France, June 24, 2020 (due to {COVID-19:} virtual conference)}, series = {{CEUR} Workshop Proceedings}, volume = {2651}, pages = {138--146}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2651/paper9.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apn/MittalBSB20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/MostellerHD20, author = {David Mosteller and Michael Haustermann and Leonie S. Dreschler{-}Fischer}, editor = {Michael K{\"{o}}hler{-}Bu{\ss}meier and Ekkart Kindler and Heiko R{\"{o}}lke}, title = {Graphical Languages for Functional Reactive Modeling based on Petri nets}, booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency {(PETRI} {NETS} 2020), Paris, France, June 24, 2020 (due to {COVID-19:} virtual conference)}, series = {{CEUR} Workshop Proceedings}, volume = {2651}, pages = {167--180}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2651/paper11.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apn/MostellerHD20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/Pitts20, author = {Rowland Pitts}, editor = {Michael K{\"{o}}hler{-}Bu{\ss}meier and Ekkart Kindler and Heiko R{\"{o}}lke}, title = {Modeling State Transitions with Colored Petri Nets}, booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency {(PETRI} {NETS} 2020), Paris, France, June 24, 2020 (due to {COVID-19:} virtual conference)}, series = {{CEUR} Workshop Proceedings}, volume = {2651}, pages = {218--219}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2651/posterextabs3.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apn/Pitts20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/SchmitzFM20, author = {Dennis Schmitz and Matthias Feldmann and Daniel Moldt}, editor = {Michael K{\"{o}}hler{-}Bu{\ss}meier and Ekkart Kindler and Heiko R{\"{o}}lke}, title = {Analyzing Software Engineering Courses with Process Mining and Business Intelligence}, booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency {(PETRI} {NETS} 2020), Paris, France, June 24, 2020 (due to {COVID-19:} virtual conference)}, series = {{CEUR} Workshop Proceedings}, volume = {2651}, pages = {220--221}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2651/posterextabs4.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apn/SchmitzFM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/WillrodtMS20, author = {Sven Willrodt and Daniel Moldt and Michael Simon}, editor = {Michael K{\"{o}}hler{-}Bu{\ss}meier and Ekkart Kindler and Heiko R{\"{o}}lke}, title = {Modular Model Checking of Reference Nets: MoMoC}, booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency {(PETRI} {NETS} 2020), Paris, France, June 24, 2020 (due to {COVID-19:} virtual conference)}, series = {{CEUR} Workshop Proceedings}, volume = {2651}, pages = {181--193}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2651/paper12.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apn/WillrodtMS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/Wolf20, author = {Karsten Wolf}, editor = {Michael K{\"{o}}hler{-}Bu{\ss}meier and Ekkart Kindler and Heiko R{\"{o}}lke}, title = {Portfolio Management in Explicit Model Checking}, booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency {(PETRI} {NETS} 2020), Paris, France, June 24, 2020 (due to {COVID-19:} virtual conference)}, series = {{CEUR} Workshop Proceedings}, volume = {2651}, pages = {10--28}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2651/paper2.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apn/Wolf20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/ZengG20, author = {Wen Zeng and Vasileios Germanos}, editor = {Michael K{\"{o}}hler{-}Bu{\ss}meier and Ekkart Kindler and Heiko R{\"{o}}lke}, title = {Quantitative Reaction Systems}, booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency {(PETRI} {NETS} 2020), Paris, France, June 24, 2020 (due to {COVID-19:} virtual conference)}, series = {{CEUR} Workshop Proceedings}, volume = {2651}, pages = {216--217}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2651/posterextabs2.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apn/ZengG20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/apn/2020pnse, editor = {Michael K{\"{o}}hler{-}Bu{\ss}meier and Ekkart Kindler and Heiko R{\"{o}}lke}, title = {Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency {(PETRI} {NETS} 2020), Paris, France, June 24, 2020 (due to {COVID-19:} virtual conference)}, series = {{CEUR} Workshop Proceedings}, volume = {2651}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2651}, urn = {urn:nbn:de:0074-2651-3}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apn/2020pnse.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp1.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.