default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPNSE@Petri Nets 2021: Virtual Event
- Michael Köhler-Bussmeier, Ekkart Kindler, Heiko Rölke:
Proceedings of the International Workshop on Petri Nets and Software Engineering 2021 co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021), Paris, France, June 25th, 2021 (due to COVID-19: virtual conference). CEUR Workshop Proceedings 2907, CEUR-WS.org 2021
Session 1: Presentations
- Mohammed Assiri, Ryszard Janicki:
Towards Modeling of Cardiac Pacemakers With Timed Coloured Petri Nets And Related Tools. 1-20 - Niclas zum Felde, Michael Köhler-Bußmeier, Jan Sudeikat:
Improving Drone-based Parcel Delivery in a Delivery System at its Capacity Limit. 21-40 - Michael Müller, Michael Köhler-Bußmeier:
Availability Analysis of the ONOS Architecture. 41-64 - Jan Henrik Röwekamp, Manuela Buchholz, Daniel Moldt:
Petri Net Sagas. 65-84 - Jan Henrik Röwekamp, Marvin Taube, Patrick Mohr, Daniel Moldt:
Cloud Native Simulation of Reference Nets. 85-104 - Gabriel Juhás, Tomás Kovácik, Jakub Kovár, Martin Kranec:
Collecting Structured Logs of Instances as Process Nets in Petriflow Language. 105-122 - Ronny Tredup, Sophie Wallner:
The Reachability Problem for Acyclic Join-Free Petri nets is NP-complete. 123-134 - Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis:
General Composition for Symmetric Net Arc Functions with Applications. 135-154 - Ammar Boucherit, Kamel Barkaoui, Osman Hasan:
An Enhanced Rewriting Logic Based Semantics for High Level Petri nets. 155-174 - Nadiyah Almutairi, Maciej Koutny:
Verification of Communication Structured Acyclic Nets Using SAT. 175-194 - Madiou Diallo, Benny Akesson, Debjyoti Bera, Ronald Begeer:
Synthetic Portnet Generation with Controllable Complexity for Testing and Benchmarking. 195-212 - David de Frutos-Escrig:
Distributed Population Protocols: Naturally! 213-232 - Mohammed Alahmadi:
Master Channel Places for Communication Structured Acyclic Nets. 233-240
Session 2: Invited Talk
- Joel Greenyer:
Scenario-Based Modeling and Programming of Distributed Systems. 241-252
Session 3: Poster Presentations
- Kent Inge Fagerland Simonsen:
On Modelling Cloud Native Applications. 253-254 - Rakshit Mittal, Dominique Blouin, Soumyadip Bandyopadhyay:
Validating Extended Feature Model Configurations using Petri Nets. 255-256 - Rakshit Mittal, Soumyadip Bandyopadhyay:
Translation Validation of Scheduled Conditional Behavior using PN. 257-258
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.
last updated on 2024-11-08 20:41 CET 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:
