• Citer

General Refinement for High Level Petri Nets: in Proceedings of the 17th Conference on the Foundations of Software Technology and Theoretical Computer Science

par Devillers, Raymond ;Klaudel, Hanna;Riemann, Robert-C.
Référence Lecture notes in computer science, 1346, page (297-311)
Publication Publié, 1997

Article révisé par les pairs

• Détails
• Contenu

Résumé :

The algebra of M-nets, a high level class of labelled Petri nets, was introduced in the Petri Box Calculus in order to cope with the size problem of the low level nets, especially if applied as semantical domain for parallel programming languages. A general, unrestricted refinement operator intended to represent the procedure call mechanism for concurrent calls is introduced into the M-net calculus. Its coherence with the low level refinements is exhibited, together with its main properties.