Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach

Raymond R. Devillers, Evgeny Erofeev, Thomas Hujsa. Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach. T. Petri Nets and Other Models of Concurrency, 14:172-191, 2019. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.