1.The Computation of Liveness Enforcing Supervisors From Submodels of a Petri Net Model of FMSs

Uzam, M, Zakariyya,     More...

Uzam, M, Zakariyya, RS, Gelen, G, Li, ZW     Less

2013 IEEE INTERNATIONAL CONFERENCE OF IEEE REGION 10 (TENCON)[2159-3442], Published 2013,

收錄情况： WOS SCOPUS

WOS核心合集引用: 4 

2.Stationary behavior of manufacturing systems modeled by timed weighted marked graphs

He, Z, Li, ZW, Giua,     More...

He, Z, Li, ZW, Giua, A     Less

PROCEEDINGS OF THE 2016 IEEE REGION 10 CONFERENCE (TENCON)[2159-3442], Published 2016, Volume 0, Pages 3374-3377

收錄情况： WOS SCOPUS

WOS核心合集引用: 0