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

Abstract

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