PETRI NETS | ACSD | ||
---|---|---|---|
09:00-10:00 | Invited Speaker: Lars M. Kristensen A Perspective on Explicit State Space Exploration of Coloured Petri Nets - Past, Present, and Future |
||
10:00-10:30 | coffee break | ||
10:30-11:00 | Esparza, Leucker, Schlund Learning Workflow Petri Nets |
Crouzen, Hermanns Aggregation Ordering for Massively Compositional Models |
|
11:00-11:300 | Carmona, Solé Process Mining from a Basis of State Regions |
Brandt, Schneider, Ahuja, Shukla The Model Checking View to Clock Gating and Operand Isolation |
|
11:30-12:00 | Petrucci, Kordon, Hillah, Trèves PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language |
Fokkink, Dashti, Wijs Partial Order Reduction for Branching Security Protocols |
|
12:00-12:30 | Heidari, Boucheneb Efficient Method for Checking the Existence of a Safety/ reachability Controller for Time Petri nets |
||
Lunch | |||
14:00-14:30 | Best, Darondeau Separability in Persistent Petri Nets |
Katoen, van de Pol, Stoelinga, Timmer A Linear Process-Algebraic Format for Probabilistic Systems with Data |
|
14:30-15:00 | Oanea, Wolf, Wimmel New Algorithms for Deciding the Siphon-Trap Property |
Delahaye, Caillaud, Legay Probabilistic Contracts: A Compositional Reasoning Methodology for the Design of Stochastic Systems |
|
15:00-15:30 | Closing Session | ||