Analysis of automated systems by using coloured Petri Nets. - Serkan Yorulmaz; Murvet Kirci (Int. J. Reason. based Intell. Syst., 2010)