title: A PetriNet-Based Approach for Supporting Traceability in Cyber-Physical Manufacturing Systems.
abstract: With the growing popularity of complex dynamic activities in manufacturing processes, traceability of the entire life of every product has drawn significant attention especially for food, clinical materials, and similar items. This paper studies the traceability issue in cyber-physical manufacturing systems from a theoretical viewpoint. Petri net models are generalized for formulating dynamic manufacturing processes, based on which a detailed approach for enabling traceability analysis is presented. Models as well as algorithms are carefully designed, which can trace back the lifecycle of a possibly contaminated item. A practical prototype system for supporting traceability is designed, and a real-life case study of a quality control system for bee products is presented to validate the effectiveness of the approach.
authors.affiliation: State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Beijing 100876, China. huangjw@bupt.edu.cn.
authors.forename: Jiwei
authors.initials: J
authors.lastname: Huang
authors.affiliation: Agricultural Information Institute, Chinese Academy of Agricultural Sciences, Beijing 100081, China. zhuyeping@caas.cn.
authors.forename: Yeping
authors.initials: Y
authors.lastname: Zhu
authors.affiliation: State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Beijing 100876, China. chengbo@bupt.edu.cn.
authors.forename: Bo
authors.initials: B
authors.lastname: Cheng
authors.affiliation: Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China. chlin@tsinghua.edu.cn.
authors.forename: Chuang
authors.initials: C
authors.lastname: Lin
authors.affiliation: State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Beijing 100876, China. chjl@bupt.edu.cn.
authors.forename: Junliang
authors.initials: J
authors.lastname: Chen
keywords: Petri net; cyber-physical manufacturing systems; product quality control; traceability