par Devillers, Raymond ;Erofeev, Evgeny;Hujsa, Thomas
Référence CEUR Workshop Proceedings, 2371, page (6-22)
Publication Publié, 2019-08-01
Article révisé par les pairs
Titre:
  • Synthesis of weighted marked graphs from circular labelled transition systems
Auteur:Devillers, Raymond; Erofeev, Evgeny; Hujsa, Thomas
Informations sur la publication:CEUR Workshop Proceedings, 2371, page (6-22)
Statut de publication:Publié, 2019-08-01
Sujet CREF:Informatique générale
Mots-clés:Choice-free net
Circular solvability
Cycles
Cyclic words
Labelled transition system
Synthesis
Weighted Petri net
Note générale:SCOPUS: cp.p
Langue:Anglais
Identificateurs:urn:issn:1613-0073
info:scp/85067212722

Documents en relation

DI-fusion