par Devillers, Raymond ;Klaudel, Hanna
Editeur scientifique Desel, Jörg
Référence Structures in Concurrency Theory, Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11–13 May 1995, Springer-Verlag, London, page (144--159)
Publication Publié, 1995
Partie d'ouvrage collectif
Résumé : The algebra of A-nets, a high level class of labelled Petri nets introduced in the Petri Box Calculus in order to cope with structured data, is extended with a general refinement operator and, based thereon, a general recursion operator; their properties may directly be derived from the corresponding operators for the low level Petri Boxes.