Petri Nets 2010, ACSD 2010 - Braga, Portugal


ACSD 2010

Braga, Portugal, June 21-25, 2010
Petri Nets 2010, ACSD 2010 - Braga, Portugal
Friday, 25 June 2010

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
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