Auflistung Algorithmen und Werzeuge für Petrinetze (AWPN 2024) nach Erscheinungsdatum
1 - 10 von 11
Treffer pro Seite
Sortieroptionen
- 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
- JournalAWPN 2024 workshop proceedings - Complete Volume(AWPN 2024 workshop proceedings, 2024)
- WorkshopbeitragModel Factors Influencing Petri Net Understandability: A Case Study on Simplicity(AWPN 2024 workshop proceedings, 2024) Kimmel, Marc; Schalk, Patrizia; Lorenz, Robert
- WorkshopbeitragPartially Ordered Event Logs and Concurrency Oracles(AWPN 2024 workshop proceedings, 2024) Folz-Weinstein, Sabine; Bergenthum, Robin; Beecks, Christian
- WorkshopbeitragModelling Cooperating Failure-Resilient Processes(AWPN 2024 workshop proceedings, 2024) Valk, Rüdiger
- 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 and Analysis of Microservice Based Systems by Composing Petri Nets(AWPN 2024 workshop proceedings, 2024) Kılınç Soylu, Görkem; Bernardinello, Luca