Seung Mo Cho Hyoung Seok Hong Sung Deok Cha Safety Analysis Using Coloured Petri Nets. 176-193 1996 conf/apsec/1996 APSEC http://csdl.computer.org/comp/proceedings/apsec/1996/7638/00/76380176abs.htm db/conf/apsec/apsec1996.html#ChoHC96