4 papers
Dynamic Scheduling for Flexible Manufacturing Systems Based on Multi-Agent Deep Reinforcement Learning and Petri Nets
Zhou He, Ning Li, Ruotian Liu +2
This paper investigates dynamic scheduling for flexible manufacturing systems (FMSs) subject to dynamic events, such as new order arrivals, temporary order cancellations, and machi…
Non-interference analysis of bounded labeled Petri nets
Ning Ran, Zhengguang Wu, Shaokang Zhang +2
This paper focuses on a fundamental problem on information security of bounded labeled Petri nets: non-interference analysis. As in hierarchical control, we assume that a system is…
Scheduling of Flexible Manufacturing Systems Based on Place-Timed Petri Nets and Basis Reachability Graphs
Zhou He, Ning Li, Ning Ran +1
Scheduling is a key decision-making process to improve the performance of flexible manufacturing systems. Place-timed Petri nets provide a formal method for graphically modeling an…
Optimal Task and Motion Planning for Autonomous Systems Using Petri Nets
Zhou He, Shilong Yuan, Ning Ran +1
This study deals with the problem of task and motion planning of autonomous systems within the context of high-level tasks. Specifically, a task comprises logical requirements (con…