אנגלית ⇄ יוונית צרפתית +

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