Logo des Repositoriums
 
Workshopbeitrag

Utilization of Heterogeneity in Modular Reachability Analysis for Petri Nets

Vorschaubild

Volltext URI

Dokumententyp

Text/Workshop Paper

Dateien

AWPN24-paper04.pdf (142.79 KB)

Zusatzinformation

Datum

2024

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Quelle

AWPN 2024 workshop proceedings

Verlag

Gesellschaft für Informatik e.V.

Zusammenfassung

Beschreibung

Schultz, Marlene (2024): Utilization of Heterogeneity in Modular Reachability Analysis for Petri Nets. AWPN 2024 workshop proceedings. DOI: 10.18420/AWPN2024-04. Bonn: Gesellschaft für Informatik e.V.. pp. 10-11. Copenhagen, Denmark. 18. October 2024

Schlagwörter

Modular Reachability Analysis , Petri nets

Zitierform

DOI

10.18420/AWPN2024-04

Tags

Sammlungen

Algorithmen und Werzeuge für Petrinetze (AWPN 2024)