par Best, Eike ;Devillers, Raymond ;Schlachter, Uli;Wimmel, Harro
Référence Scientific Annals of Computer Science, 28, 2, page (199-236)
Publication Publié, 2018
Article révisé par les pairs
Titre:
  • Simultaneous petri net synthesis
Auteur:Best, Eike; Devillers, Raymond; Schlachter, Uli; Wimmel, Harro
Informations sur la publication:Scientific Annals of Computer Science, 28, 2, page (199-236)
Statut de publication:Publié, 2018
Sujet CREF:Informatique générale
Mathématiques
Mots-clés:Choice-freeness
Labelled transition systems
Petri nets
Synthesis
Note générale:SCOPUS: ar.j
Langue:Anglais
Identificateurs:urn:issn:2248-2695
info:doi/10.7561/SACS.2018.2.199
info:scp/85065233803