@inproceedings { brito2013, author = "Brito, Isabel Sofia", title = "Coloured Petri Net Model of the bCMS system using CPN tools", year = "2013" }