أرسل هذا في رسالة قصيرة: Transformation of the BPMN Design Model into a Colored Petri Net Using the Partitioning Approach