Գրեք սա: Transformation of the BPMN Design Model into a Colored Petri Net Using the Partitioning Approach