A Formal Coloured Petri Net Model for Hazard Detection in Large Event Flows.

Patrice Carle, Christine Choppy, Romain Kervarc, Ariane Piel

Browse the full APSEC paper archive.