par Best, Eike 
;Devillers, Raymond
Référence Acta informatica, 52, 1, page (35--60)
Publication Publié, 2015
;Devillers, Raymond Référence Acta informatica, 52, 1, page (35--60)
Publication Publié, 2015
Article révisé par les pairs
| Titre: |
|
| Auteur: | Best, Eike; Devillers, Raymond |
| Informations sur la publication: | Acta informatica, 52, 1, page (35--60) |
| Statut de publication: | Publié, 2015 |
| Sujet CREF: | Informatique mathématique |
| Mots-clés: | Cyclic Behaviour, Distributability, Labelled Transition Systems, Parikh Vectors, Persistence, Petri Nets, Region Theory, Synthesis, System Reengineering |
| Note générale: | SCOPUS: ar.j |
| Langue: | Anglais |
| Identificateurs: | urn:issn:0001-5903 |
| info:doi/10.1007/s00236-014-0209-7 | |
| info:scp/84925504982 |
