Article
Engineering, Electrical & Electronic
Husam Kaid, Abdulrahman Al-Ahmari, Khaled N. Alqahtani
Summary: This paper proposes a new reliability design methodology using colored resource-oriented Petri nets and IoT to identify significant reliability metrics in AMS. The methodology can assist in accurate diagnosis, prognosis, and resulting automated repair to enhance the adaptability of IoT devices within complicated CPSs.
Article
Computer Science, Information Systems
C. Dechsupa, W. Vatanawood, A. Thongtak
Summary: This paper proposes a quantitative verification approach for analyzing and optimizing IoT manufacturing design models. The approach combines the use of BPMN and CGSPN representations to help designers identify and fix issues in manufacturing models.
Article
Automation & Control Systems
Huixia Liu, Yanxiang Feng, Junhong Li, Jianchao Luo
Summary: This paper focuses on a novel robust Petri net controller for flexible manufacturing systems with unreliable resources. It addresses the issue of resource failures and proposes a control strategy to mitigate their impact on production efficiency. The proposed controller is able to ensure smooth completion of tasks as long as at least one unit of each type of unreliable resource is functioning properly. Three examples are provided to demonstrate the effectiveness of the controller.
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS
(2023)
Article
Computer Science, Information Systems
Kohei Fujita, Toshimitsu Ushio
Summary: This study presents a method to solve the optimal control problem in a coloured timed Petri net using coloured generalized mutual exclusion temporal constraints described by signal temporal logic formula, and solving the problem by transforming it into an integer linear programming problem. The effectiveness of the proposed approach is demonstrated through a simulation of an optimal control problem in a manufacturing system.
Article
Computer Science, Information Systems
Benjamin Yankson
Summary: Most SSIoT devices lack privacy controls, posing significant risks to user privacy and safety, as they gather sensitive information without integrating privacy into the development process. This study aims to review data flow modeling techniques in SSIoT SDLC, identify privacy gaps, and assess necessary privacy controls to enhance user privacy. Through a simulation experiment using Petri net, the privacy controls and hotspots during SSIoT data transitions were evaluated, with the results showing that Petri net offers unique privacy elements and verification schemes.
INTERNET OF THINGS
(2023)
Article
Chemistry, Multidisciplinary
Zhou He, Ruijie Zhang, Ning Ran, Chan Gu
Summary: This paper addresses the path planning problem of multi-type robot systems with time windows using timed colored Petri nets. It proposes an analytical approach to plan a group of different types of mobile robots and minimize the total cost of the system through integer linear programming.
APPLIED SCIENCES-BASEL
(2022)
Article
Computer Science, Information Systems
Ter-Chan Row, Yen-Liang Pan
Summary: This paper introduces a novel recovery policy based on control transitions to maintain the system's maximal permissiveness without solving integer linear programming problems. Experimental data shows that this policy can prevent deadlocks and preserve all initial markings.
Article
Automation & Control Systems
Moon Gi Seok, Wen Jun Tan, Wentong Cai, Daejin Park
Summary: Smart factories use digital twins to evaluate different production scenarios. This article presents a consistency-checking approach to maintain high-fidelity digital twins by comparing sensed timed events from the physical manufacturing plant with DT-based estimations. The approach targets DTs developed using time colored Petri net (TCPN) and includes methods for building virtual estimates and accelerating SCG evolution.
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS
(2023)
Article
Multidisciplinary Sciences
Gongdan Xu, Yufeng Chen
Summary: In this paper, a novel admissible estimate function is proposed to schedule flexible manufacturing systems using heuristic search. By utilizing the structural symmetry of a Petri net model of an FMS, a partial reachability graph is generated to mitigate the notorious state explosion problem. The proposed method aims to find a transition firing sequence with minimal process time by selecting markings with the smallest cost and computing their successors until the system reaches the final marking.
Article
Automation & Control Systems
Zhou He, Ziyue Ma, Wei Tang
Summary: This paper addresses the performance safety enforcing problem in plants modeled by timed event graphs, proposing two approaches for designing transition protecting policies under different scenarios.
Article
Automation & Control Systems
Jeongsun Ahn, Hyun-Jung Kim
Summary: Flexible Manufacturing Systems (FMSs) are widely used in manufacturing areas and require a scheduling process that is extremely difficult due to various job types and the risk of deadlocks. Many existing studies focus on developing heuristic algorithms, but an optimal solution is crucial to minimize FMSs makespan. Therefore, we propose a mixed integer programming (MIP) and a branch and bound (B & B) algorithm with a timed Petri net (TPN) to achieve optimal scheduling of FMSs. Experimental results show that our proposed B & B algorithm outperforms mathematical formulations and previous algorithms in various FMS instances.
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
(2023)
Article
Chemistry, Multidisciplinary
Andrzej Bozek, Tomasz Rak, Dariusz Rzonca
Summary: This article introduces the use of simulation models for planning and dimensioning web systems, and proposes the Timed Colored Petri Nets event generator for driving performance evaluation simulations. It discusses the classification and investigation of different types of generators, and demonstrates the model design and simulation processes using CPN Tools software. Finally, a case study is presented to analyze the workload of a web system generated by the designed generator.
APPLIED SCIENCES-BASEL
(2022)
Article
Automation & Control Systems
Xinnian Wang, Keyi Xing, Yanxiang Feng, Yunchao Wu
Summary: This study addresses the scheduling problem of deadlock-prone flexible manufacturing systems subject to no-wait constraints for the first time, and develops a new scheduling algorithm based on the place-timed Petri net (PN) model and heuristic search. The problem is solved through timetabling and sequencing, using a controlled PN model for timetabling and a hybrid heuristic search approach for sequencing.
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS
(2021)
Article
Computer Science, Artificial Intelligence
Xianyu Zhang, Xinguo Ming, Yuguang Bao, Xiaoqiang Liao
Summary: This study constructs a system model of Networked Collaborative Manufacturing Platform (NCMP) based on comprehensive industrial ecosystem by integrating network characteristics, platform elements, integrated mechanism, collaborative model, and ecological format. The research results show that the key factors to construct NCMP include collaboration between purchasing departments, collaboration between demand departments, design collaboration, and data integration between enterprises and factories.
ADVANCED ENGINEERING INFORMATICS
(2022)
Article
Automation & Control Systems
Yifan Dong, Naiqi Wu, Zhiwu Li
Summary: This paper addresses the state estimation of timed discrete event systems and proposes an online algorithm for computing state estimations generated by timed observations, by introducing time delay and symbolic techniques.
Article
Automation & Control Systems
Yingfeng Zhang, Zhengang Guo, Jingxiang Lv, Ying Liu
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS
(2018)
Article
Automation & Control Systems
Zhengang Guo, Yingfeng Zhang, Xibin Zhao, Xiaoyu Song
Summary: The article introduces a self-adaptive collaborative control mode to enhance the capability of intelligent manufacturing systems by leveraging IoT and CPS for real-time data collection and processing. It addresses different exceptions by introducing three levels of collaborative control granularity and using hybrid automata to model physical manufacturing resources, solving collaborative optimization problems.
IEEE TRANSACTIONS ON CYBERNETICS
(2021)
Article
Engineering, Industrial
Ou Tang, Yang Liu, Zhengang Guo, Shuoguo Wei
Summary: This study focuses on how remanufacturers can encourage core returns by setting refund policies and deposit values, and how they can influence customer behavior through transparent inspection information. The results show the advantage of transparency for remanufacturers, while the accuracy of inspection and salvage value of cores significantly affect the remanufacturer's profits.
INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH
(2021)
Article
Engineering, Civil
Zhengang Guo, Yingfeng Zhang, Jingxiang Lv, Yang Liu, Ying Liu
Summary: Recent advancements in technologies like IoT and CPS have provided opportunities to address urban traffic issues. By utilizing these technologies, real-time data from road segments and vehicles are collected, and a CPS model is developed to depict dynamic behaviors. An online learning data-driven model is created to optimize traffic routes, demonstrating efficiency in reducing travel time and fuel consumption in a case study.
IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS
(2021)
Article
Computer Science, Interdisciplinary Applications
Yang Liu, Miying Yang, Zhengang Guo
Summary: This paper presents a method that utilizes reinforcement learning in the field of artificial intelligence to support decision-making for sustainable operations based on available lifecycle data. By validating the method in a case study of an international vehicle manufacturer, it demonstrates its effectiveness and identifies reinforcement learning as the most appropriate method for maintenance scheduling based on limited available lifecycle data.
INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING
(2022)
Article
Engineering, Industrial
Zhengang Guo, Yingfeng Zhang, Sichao Liu, Xi Vincent Wang, Lihui Wang
Summary: This paper investigates the mechanisms and methodology of self-organization and self-adaption for tackling challenges in manufacturing processes. It proposes a model of smart manufacturing complex networks using scale-free networks and encapsulates the capabilities of physical manufacturing resources into virtual manufacturing services using cloud technology. The study demonstrates the feasibility and efficiency of the proposed model and method in handling exceptions and shows that it outperforms traditional methods.
FRONTIERS OF ENGINEERING MANAGEMENT
(2023)