Francis Atampore, Juergen Dingel, Karen Rudie. Automated service composition via supervisory control theory. In Christos G. Cassandras, Alessandro Giua, Zhiwu Li, editors, 13th International Workshop on Discrete Event Systems, WODES 2016, Xi'an, China, May 30 - June 1, 2016. pages 28-35, IEEE, 2016. [doi]
Abstract is missing.