3 papers
cs.FL2025
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…
eess.SY2025
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…
eess.SY2025
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…