On the efficient computation of the minimal coverability set of Petri nets

Recherche avancée | Historique de recherche Mon DI-fusion | À propos de DI-fusion | Contact |

Référence Lecture notes in computer science, 4762
Publication Publié, 2007

Article révisé par les pairs

Titre:	On the efficient computation of the minimal coverability set of Petri nets
Auteur:	Geeraerts, Gilles; Raskin, Jean-François; Van Begin, Laurent
Informations sur la publication:	Lecture notes in computer science, 4762
Statut de publication:	Publié, 2007
Sujet CREF:	Informatique générale
Langue:	N/A
Identificateurs:	urn:issn:0302-9743

On the efficient computation of the minimal coverability set of petri nets
par Geeraerts, Gilles , Raskin, Jean-François , Van Begin, Laurent
Publication 2010-04
On the efficient computation of the coverability set of Petri nets
par Geeraerts, Gilles , Raskin, Jean-François , Van Begin, Laurent
Publication 2010
Concurrent Boolean Programs
par Geeraerts, Gilles , Van Begin, Laurent
Publication 2003
Models and algorithms for chronology
par Geeraerts, Gilles , Levy, Eythan , Pluquet, Frédéric
Publication 2017-10
Safe and optimal scheduling of hard and soft tasks
par Geeraerts, Gilles , Guha, Shibashis , Raskin, Jean-François
Publication 2018

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.

Conditions d'utilisation - Version : 4.1 (2019)

Exporter la liste de :

Loading scholar E-mail ...

Export bibliographie

Format de fichier :

Depuis :

Jusqu'à :

Inclure les références sans date :

Trier par :

Rôles :

Inclure les liens vers le texte intégral :

Oui (Non est la valeur par défaut)

Inclure l'abstract:

Oui (Non est la valeur par défaut)