Synthesis of persistent systems. In Proc. 35rd International Conference on Application and Theory of Petri Nets and Concurrency (Tunis, August 2014), G. Ciardo, E. Kindler (eds.)

Référence Lecture notes in computer science, 8489, page (111-129)
Publication Publié, 2014

Article révisé par les pairs

Persistent Systems with Unique Minimal Cyclic Parikh Vectors
par Best, Eike , Devillers, Raymond
Publication Carl von Ossietzki Universität Oldenburg, Dep. Informatik, 2014-02
Synthesis and reengineering of persistent systems
par Best, Eike , Devillers, Raymond
Publication 2015
Synthesis of live and bounded persistent systems
par Best, Eike , Devillers, Raymond
Publication 2015-07
Characterisation of the state spaces of marked graph Petri nets
par Best, Eike , Devillers, Raymond
Publication 2017-04
Synthesis of Bounded Choice-Free Petri Nets. In Proc. 26th International Conference on Concurrency Theory (CONCUR 2015)
par Best, Eike , Devillers, Raymond
Publication 2015

Référencement	Visibilité	Pérennité	Facilité
Les publications encodées constituent la bibliographie académique de l'Université.	Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).	Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).	Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.