Mike Y. J. Lee

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 1

Top Topics

High Level Petri Nets

Manufacturing Systems

Top Venues

IMA J. Math. Control. Inf.

Publications

Daniel Yuh Chao, Yen-Ping Chi, Tsung-Hsien Yu, Li-Chih Yu, Mike Y. J. Lee
Proof by model: a new knowledge-based reachability analysis methodology for Petri net. IMA J. Math. Control. Inf. 34 (4) (2017)