par Best, Eike ;Devillers, Raymond
Référence Fundamenta informaticae, 140, 1, page (39-59)
Publication Publié, 2015-07
Référence Fundamenta informaticae, 140, 1, page (39-59)
Publication Publié, 2015-07
Article révisé par les pairs
Titre: |
|
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 générale: | SCOPUS: cp.j |
Langue: | Anglais |
Identificateurs: | urn:issn:0169-2968 |
info:doi/10.3233/FI-2015-1244 | |
info:scp/84938151339 |