Petri Nets 2010, ACSD 2010 - Braga, Portugal


ACSD 2010

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

Invited Speaker: Lars Michael Kristensen

A Perspective on Explicit State Space Exploration of Coloured Petri Nets – Past, Present, and Future


We provide a chronological research perspective on the development and application of methods and supporting computer tools for state space exploration and model checking of Coloured Petri Nets. We discuss how the lessons learned from practical applications have influenced current and envisioned future research directions concentrating on the ongoing development of the ASAP state space exploration platform.

09:00-10:00 Friday, 25 June 2010