英语 ⇄ 希腊语 法语 +

high-level Petri-net specifications of concurrent activities
一般	spécifications d'activités concurrentes utilisant le réseau de Petri à haut niveau