par Devillers, Raymond
Référence Fundamenta informaticae, 183, 1-2, page (1-31)
Publication Publié, 2021-03-01
Article révisé par les pairs
Titre:
  • Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis
Auteur:Devillers, Raymond
Informations sur la publication:Fundamenta informaticae, 183, 1-2, page (1-31)
Statut de publication:Publié, 2021-03-01
Sujet CREF:Informatique mathématique
Algèbre linéaire et matricielle
Informatique générale
Mots-clés:composition
decomposition
labelled transition systems
Petri net synthesis
Note générale:SCOPUS: ar.j
Langue:Anglais
Identificateurs:urn:issn:0169-2968
info:scp/85123417295