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 :
Identificateurs : urn:issn:0302-9743