par Best, Eike Cliquez pour télécharger la liste de publications de l'auteur; Devillers, Raymond Liste de publications
Référence Fundamenta informaticae, 140, 1, (page 39-59)
Publication Publié, 2015-07
Article révisé par les pairs
Titre :
  • Synthesis of live and bounded persistent systems
Auteur : Best, Eike ; Devillers, Raymond
Informations sur la publication : Fundamenta informaticae, 140, 1, (page 39-59)
Statut de publication : Publié, 2015-07
Sujet CREF : Informatique générale
Informatique mathématique
Théorie des nombres
Algèbre linéaire et matricielle
Mots-clés : Cyclic Behaviour
Labelled Transition Systems
Liveness
Parikh Vectors
Persistence
Petri Nets
Region Theory
System Synthesis
Note : SCOPUS: cp.j
Langue :
  • Anglais
Identificateurs : urn:issn:0169-2968 
info:doi/10.3233/FI-2015-1244