par Devillers, Raymond Cliquez pour télécharger la liste de publications de l'auteur; Klaudel, Hanna H.; Koutny, Maciej M.; Pommereau, Franck F.
Référence Lecture notes in computer science, 2422, (page 192-207)
Publication Publié, 2002
Article révisé par les pairs
Titre :
  • An algebra of non-safe petri boxes
Auteur : Devillers, Raymond ; Klaudel, Hanna H. ; Koutny, Maciej M. ; Pommereau, Franck F.
Informations sur la publication : Lecture notes in computer science, 2422, (page 192-207)
Statut de publication : Publié, 2002
Sujet CREF : Informatique générale
Informatique mathématique
Mots-clés : Operational semantics
Petri nets
Process algebra
Note : SCOPUS: cp.k
Langue :
  • Anglais
Identificateurs : urn:issn:0302-9743