Ziyue Ma, Zhiwu Li, Alessandro Giua. Computation of admissible marking sets in weighted state machines by dynamic programming. In 56th IEEE Annual Conference on Decision and Control, CDC 2017, Melbourne, Australia, December 12-15, 2017. pages 4847-4852, IEEE, 2017. [doi]
Abstract is missing.