Algorithmen und Werzeuge für Petrinetze (AWPN 2024)

Autor*innen mit den meisten Dokumenten

Auflistung nach:

1 - 10 von 11

Workshopbeitrag
RENEW 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
Journal
AWPN 2024 workshop proceedings - Complete Volume
(AWPN 2024 workshop proceedings, 2024)
Workshopbeitrag
Improving the Simplicity of Workflow Nets
(AWPN 2024 workshop proceedings, 2024) Schalk, Patrizia
Workshopbeitrag
Exploratory Process Discovery for Petri Nets
(AWPN 2024 workshop proceedings, 2024) Kovář, Jakub; Bergenthum, Robin
Workshopbeitrag
State Machines (In Modular Petri Nets)
(AWPN 2024 workshop proceedings, 2024) Wallner, Sophie
Workshopbeitrag
Symbolic Model Checking in the Modular State Space using Binary Decision Diagrams
(AWPN 2024 workshop proceedings, 2024) Zech, Lukas
Workshopbeitrag
Utilization of Heterogeneity in Modular Reachability Analysis for Petri Nets
(AWPN 2024 workshop proceedings, 2024) Schultz, Marlene
Workshopbeitrag
Modelling and Analysis of Microservice Based Systems by Composing Petri Nets
(AWPN 2024 workshop proceedings, 2024) Kılınç Soylu, Görkem; Bernardinello, Luca
Workshopbeitrag
Model Factors Influencing Petri Net Understandability: A Case Study on Simplicity
(AWPN 2024 workshop proceedings, 2024) Kimmel, Marc; Schalk, Patrizia; Lorenz, Robert
Workshopbeitrag
Modelling Cooperating Failure-Resilient Processes
(AWPN 2024 workshop proceedings, 2024) Valk, Rüdiger