par Raskin, Jean-François ;Van Begin, Laurent
Référence Electronic Notes in Theoretical Computer Science, 98, page (35-55)
Publication Publié, 2004-08
Article révisé par les pairs
Titre:
  • Petri nets with non-blocking arcs are difficult to analyze
Auteur:Raskin, Jean-François; Van Begin, Laurent
Informations sur la publication:Electronic Notes in Theoretical Computer Science, 98, page (35-55)
Statut de publication:Publié, 2004-08
Sujet CREF:Informatique mathématique
Mots-clés:Decidability/Undecidability
Monotonic Extensions of Petri Nets
Note générale:SCOPUS: cp.j
Langue:Anglais
Identificateurs:urn:issn:1571-0661
info:doi/10.1016/j.entcs.2003.10.005
info:scp/18944371719