Auflistung nach:
Auflistung Algorithmen und Werzeuge für Petrinetze (AWPN 2024) nach Erscheinungsdatum
1 - 10 von 11
Treffer pro Seite
Sortieroptionen
- JournalAWPN 2024 workshop proceedings - Complete Volume(AWPN 2024 workshop proceedings, 2024)
- WorkshopbeitragRENEW SUITE: A Tool to Compose Individual RENEW Tool Sets Based on a Plugin Concept(AWPN 2024 workshop proceedings, 2024) Hansson, Marcel; Moldt, Daniel; Clasen, Laif-Oke
- WorkshopbeitragImproving the Simplicity of Workflow Nets(AWPN 2024 workshop proceedings, 2024) Schalk, Patrizia
- WorkshopbeitragExploratory Process Discovery for Petri Nets(AWPN 2024 workshop proceedings, 2024) Kovář, Jakub; Bergenthum, Robin
- WorkshopbeitragState Machines (In Modular Petri Nets)(AWPN 2024 workshop proceedings, 2024) Wallner, Sophie
- WorkshopbeitragSymbolic Model Checking in the Modular State Space using Binary Decision Diagrams(AWPN 2024 workshop proceedings, 2024) Zech, Lukas
- WorkshopbeitragModelling Cooperating Failure-Resilient Processes(AWPN 2024 workshop proceedings, 2024) Valk, Rüdiger
- WorkshopbeitragUtilization of Heterogeneity in Modular Reachability Analysis for Petri Nets(AWPN 2024 workshop proceedings, 2024) Schultz, Marlene
- WorkshopbeitragModelling and Analysis of Microservice Based Systems by Composing Petri Nets(AWPN 2024 workshop proceedings, 2024) Kılınç Soylu, Görkem; Bernardinello, Luca
- WorkshopbeitragPartially Ordered Event Logs and Concurrency Oracles(AWPN 2024 workshop proceedings, 2024) Folz-Weinstein, Sabine; Bergenthum, Robin; Beecks, Christian