An Algebra of Non-safe Petri Boxes - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2002

An Algebra of Non-safe Petri Boxes

Raymond Devillers
  • Fonction : Auteur
  • PersonId : 855780
Hanna Klaudel
Maciej Koutny
  • Fonction : Auteur
  • PersonId : 855781

Résumé

We define an algebraic framework based on non-safe Petri nets, which allows one to express operations such as iteration, parallel composition, and transition synchronisation. This leads to an algebra of process expressions, whose constants and operators directly correspond to those used in Petri nets, and so we are able to associate nets to process expressions compositionally. The semantics of composite nets is then used to guide the definition of a structured operational semantics of process expressions. The main result is that an expression and the corresponding net generate isomorphic transition systems. We finally discuss a partial order semantics of the two algebras developed in this paper.
Fichier principal
Vignette du fichier
DKKP-AMAST-2002.pdf (244.57 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02309988 , version 1 (09-10-2019)

Identifiants

Citer

Raymond Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau. An Algebra of Non-safe Petri Boxes. AMAST, 2002, Saint-Gilles-les-Bains, France. pp.192-207, ⟨10.1007/3-540-45719-4_14⟩. ⟨hal-02309988⟩

Collections

LACL UPEC
28 Consultations
77 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More