أرسل هذا في رسالة قصيرة: Decomposition and protocols in high-level Petri nets /