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/pnse2020.bht:"
download as .bib file
@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}
}
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-09-06 21:40 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:
