• Citer

Solving Petri Net Recursions through Finite Representation

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

• Détails
• Contenu

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