par Best, Eike Cliquez pour télécharger la liste de publications de l'auteur; Devillers, Raymond Liste de publications
Référence Information and computation, 253, 3, (page 399-410)
Publication Publié, 2017-04
Article révisé par les pairs
Titre :
  • Characterisation of the state spaces of marked graph Petri nets
Auteur : Best, Eike ; Devillers, Raymond
Informations sur la publication : Information and computation, 253, 3, (page 399-410)
Statut de publication : Publié, 2017-04
Sujet CREF : Informatique appliquée logiciel
Informatique générale
Informatique mathématique
Mots-clés : Labelled transition systems
Marked graphs
Petri nets
Region theory
System synthesis
Note : SCOPUS: ar.j
Langue :
  • Anglais
Identificateurs : urn:issn:0890-5401 
info:doi/10.1016/j.ic.2016.06.006
info:pii/S0890540116300207