Travail de recherche/Working paper
| Titre: |
|
| Auteur: | Best, Eike; Devillers, Raymond |
| Informations sur la publication: | Dep. Informatik, Carl von Ossietzki Universität Oldenburg |
| Statut de publication: | Publié, 2014-02 |
| series: | Technical Report, 02/14 |
| Sujet CREF: | Informatique mathématique |
| Volumes/pages: | 80 p. |
| Mots-clés: | Cyclic Behaviour, Labelled Transition Systems, Parikh vectors, Persistency, Petri nets, Region Theory, System Synthesis |
| Langue: | Anglais |




