A PetriNet-Based Approach for Supporting Traceability in Cyber-Physical Manufacturing Systems

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.

[1]  Alain Finkel,et al.  Recent and simple algorithms for Petri nets , 2014, Software & Systems Modeling.

[2]  Guofei Jiang,et al.  Modeling and analytics for cyber-physical systems in the age of big data , 2014, PERV.

[3]  Ing-Ray Chen,et al.  Effect of Intrusion Detection and Response on Reliability of Cyber Physical Systems , 2013, IEEE Transactions on Reliability.

[4]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2004, Distributed and Parallel Databases.

[5]  Jun Zhang,et al.  Industry 4.0 with cyber-physical integration: A design and manufacture perspective , 2015, 2015 21st International Conference on Automation and Computing (ICAC).

[6]  David Gil,et al.  A Computational Architecture Based on RFID Sensors for Traceability in Smart Cities , 2015, Sensors.

[7]  Frédéric Thiesse,et al.  RFID-enabled shelf replenishment with backroom monitoring in retail stores , 2012, Decis. Support Syst..

[8]  Steve Goddard,et al.  Cyber-physical systems in industrial process control , 2008, SIGBED.

[9]  Siddhartha Kumar Khaitan,et al.  Design Techniques and Applications of Cyberphysical Systems: A Survey , 2015, IEEE Systems Journal.

[10]  Radu Marculescu,et al.  Towards a Science of Cyber-Physical Systems Design , 2011, 2011 IEEE/ACM Second International Conference on Cyber-Physical Systems.

[11]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2003, Distributed and Parallel Databases.

[12]  Bo Cheng,et al.  RESTful M2M Gateway for Remote Wireless Monitoring for District Central Heating Networks , 2014, Sensors.

[13]  Douglas C. Montgomery,et al.  Some Current Directions in the Theory and Application of Statistical Process Monitoring , 2014 .

[14]  Paul Bogdan,et al.  A cyber-physical system approach to artificial pancreas design , 2013, 2013 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).

[15]  Peter O. Denno,et al.  Virtual Design and Verification of Cyber-physical Systems: Industrial Process Plant Design , 2014, CSER.

[16]  Timothy Wilson,et al.  WebSphere Studio overview , 2004, IBM Syst. J..

[17]  MengChu Zhou,et al.  Maximally permissive distributed control of large scale automated manufacturing systems modeled with Petri nets , 2013, 2013 IEEE International Conference on Automation Science and Engineering (CASE).

[18]  K. A. Loparo,et al.  A mathematic framework for analysis of complex cyber-physical power systems , 2012, 2012 IEEE Power and Energy Society General Meeting.

[19]  Francisco P. Maturana,et al.  Information framework for energy systems using agent-based cloud computing technology , 2014, 2014 11th International Conference on Informatics in Control, Automation and Robotics (ICINCO).

[20]  MengChu Zhou,et al.  A Petri Net-Based Method for Compatibility Analysis and Composition of Web Services in Business Process Execution Language , 2009, IEEE Transactions on Automation Science and Engineering.

[21]  Mauro Onori,et al.  Exploring reconfiguration alternatives in self-organising evolvable production systems through simulation , 2014, 2014 12th IEEE International Conference on Industrial Informatics (INDIN).

[22]  Edward A. Lee.  The Past, Present and Future of Cyber-Physical Systems: A Focus on Models , 2015, Sensors.

[23]  George Q. Huang,et al.  Radio frequency identification-enabled real-time manufacturing execution system: a case study in an automotive part manufacturer , 2012, Int. J. Comput. Integr. Manuf..

[24]  Matthai Philipose,et al.  Hands-on RFID: wireless wearables for detecting use of objects , 2005, Ninth IEEE International Symposium on Wearable Computers (ISWC'05).

[25]  Jim Browne,et al.  RFID in product lifecycle management: a case in the automotive industry , 2009, Int. J. Comput. Integr. Manuf..

[26]  Katerina Pramatari,et al.  RFID-enabled traceability in the food supply chain , 2007, Ind. Manag. Data Syst..

[27]  Ramón Alcarria,et al.  TF4SM: A Framework for Developing Traceability Solutions in Small Manufacturing Companies , 2015, Sensors.

[28]  Valeriy Vyatkin,et al.  Software Engineering in Industrial Automation: State-of-the-Art Review , 2013, IEEE Transactions on Industrial Informatics.