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