par Devillers, Raymond ;Klaudel, Hanna
Editeur scientifique Sahn, S.
Référence (November 22 – 24, 2004: St. Thomas, US Virgin Islands), Advances in Computer Science and Technology, (ACST 2004), Acta Press, page (145-150)
Publication Publié, 2004-11
Publication dans des actes
Titre:
  • Solving Petri Net Recursions through Finite Representation
Auteur:Devillers, Raymond; Klaudel, Hanna
Editeur scientifique:Sahn, S.
Informations sur la publication:(November 22 – 24, 2004: St. Thomas, US Virgin Islands), Advances in Computer Science and Technology, (ACST 2004), Acta Press, page (145-150)
Statut de publication:Publié, 2004-11
Sujet CREF:Informatique mathématique
Mots-clés:Petri nets, recursion, process algebra, marking equivalence.
Langue:Anglais
Identificateurs:urn:isbn:0-88986-437-3

Documents en relation

DI-fusion