A Coloured Petri Net Approach to Model and Analyze Safety-Critical Interactive Systems.

Sapna Jaidka, Steve Reeves, Judy Bowen

Browse the full APSEC paper archive.