Inproceedings,

Synthesis of Weighted Marked Graphs from Circular Labelled Transition Systems.

, , and .
ATAED@Petri Nets/ACSD, volume 2371 of CEUR Workshop Proceedings, page 6-22. CEUR-WS.org, (2019)

Meta data

Tags

Users

  • @dblp

Comments and Reviews