Jinyuan Hao

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 3

Top Topics

Production Process

Discrete Event Systems

Colored Petri Nets

Service Composition

Top Venues

IEEE Trans. Autom. Control.

Publications

Ning Ran, Jinyuan Hao, Carla Seatzu
Prognosability Analysis and Enforcement of Bounded Labeled Petri Nets. IEEE Trans. Autom. Control. 67 (10) (2022)
Ning Ran, Jinyuan Hao, Zijian Dong, Zhou He, Zhiheng Liu, Yuan Ruan, Shouguang Wang
K-Codiagnosability Verification of Labeled Petri Nets. IEEE Access 7 (2019)
Ning Ran, Jinyuan Hao, Zhou He, Carla Seatzu
Diagnosability analysis of bounded Petri nets. ETFA (2018)