Coloured Petri net model of the bCMS system using CPN tools | IEEE Conference Publication | IEEE Xplore