par Devillers, Raymond ;Erofeev, Evgeny;Hujsa, Thomas
Référence CEUR Workshop Proceedings, 2115, page (75-90)
Publication Publié, 2018
Article révisé par les pairs
Titre:
  • Synthesis of weighted marked graphs from constrained labelled transition systems
Auteur:Devillers, Raymond; Erofeev, Evgeny; Hujsa, Thomas
Informations sur la publication:CEUR Workshop Proceedings, 2115, page (75-90)
Statut de publication:Publié, 2018
Sujet CREF:Généralités
Mots-clés:Circular solvability
Cycles
Cyclic words
Labelled transition system
Marked graph
Synthesis
Weighted Petri net
Note générale:SCOPUS: cp.p
Langue:Anglais
Identificateurs:urn:issn:1613-0073
info:scp/85049115819

Documents en relation

DI-fusion