par Devillers, Raymond ;Klaudel, Hanna;Pelz, Elisabeth
Référence Journal of automata, languages and combinatorics, 5, 2, page (81-107)
Publication Publié, 2000
Article révisé par les pairs
Résumé : A-nets, a high level class of labeled Petri nets introduced in order to cope with structured data and typing, are provided with an algebraic structure allowing to compositionally construct complex systems from simple building blocks. Standard Petri Box Calculus control flow operations are complemented here by a generalized synchronization mechanism based on parameter identification, of which various forms are examined. Its usefulness is illustrated in the semantics of a parallel program.