أرسل هذا في رسالة قصيرة: Вложенные сети Петри: моделирование и анализ распределенных систем с объектной структурой