Abstract FR:

Le système de types du langage offre des notations syntaxiques concises permettant : une description statique des réseaux et de leur comportement dynamique: conditions et effets des déclenchements des transitions ; des transformations simples telles que l'ajout, la suppression et la fusion d'éléments d'un réseau; la composition par fusion d'éléments de réseaux déjà construits qui implémente divers mécanismes de synchronisations et des structures de contrôle extensibles; la généricité et le polymorphisme qui permettent, à partir d'un type unique de réseau, de générer les instances potentiellement différentes; une spécification des interactions éventuelles entre un schéma de contrôle (sc) décrit en PADRE et un schéma d'interprétation (si) décrit en Pascal.