Coloured Petri net model of the bCMS system using CPN tools
Isabel Sofía Brito, João Paulo Barros · 2013
This paper presents the content required for the selection of the modeling approach, a description of the modeling approach sufficient to understand the submitted model, and a description of the submitted model.