Titre :
  • General Refinement for High Level Petri Nets: in Proceedings of the 17th Conference on the Foundations of Software Technology and Theoretical Computer Science
Auteur : Devillers, Raymond ; Klaudel, Hanna H. ; Riemann, Robert-C. R.-C.
Informations sur la publication : Lecture notes in computer science, 1346, (page 297-311)
Statut de publication : Publié, 1997
Sujet CREF : Informatique mathématique
Note : SCOPUS: cp.k
Langue :
  • Anglais
Identificateurs : urn:issn:0302-9743 
info:doi/10.1007/BFb0058038