Coloured Petri net model of the bCMS system using CPN tools

摘要

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.