Login / Signup
Chengyi Ou
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Ims Ld
Holonic Manufacturing Systems
Petri Net
Sheet Metal
Top Venues
J. Intell. Manuf.
</>
Publications
</>
Juan Lu
,
Chengyi Ou
,
Chen Liao
,
Zhenkun Zhang
,
Kai Chen
,
Xiaoping Liao
Formal modelling of a sheet metal smart manufacturing system by using Petri nets and first-order predicate logic.
J. Intell. Manuf.
32 (4) (2021)