Safety Analysis Using Coloured Petri Nets.

Seung Mo Cho, Hyoung Seok Hong, Sung Deok Cha

Browse the full APSEC paper archive.