Most permissive liveness-enforcing Petri net supervisors for discrete event systems via linear monitors

Cong, Xuya; Wang, Anrong; Chen, Yufeng; Wu, Naiqi; Qu, Ting; Khalgui, Mohamed; Li, Zhiwu

doi:10.1016/j.isatra.2019.02.003

Cited by 7 publications

(1 citation statement)

References 60 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…[3][4][5][6][7][8] An AGV system can be regarded as a discrete event system (DES) where the environment of the system is divided into several regions (or zones), and the vehicle movement from one region to another can be regarded as a discrete event. [9][10][11][12] Petri nets (PNs) are a graphbased mathematical tool and are widely applied for modeling, [13][14][15][16][17][18] control, [19][20][21][22][23][24][25][26][27][28][29] and scheduling [30][31][32][33] of DES, including AGV systems, manufacturing systems, and transportation systems. By assuming that some regions have a limited capacity, a deadlock prevention strategy is developed for robot planning in order to avoid collisions.…”

Section: Introductionmentioning

confidence: 99%

Path planning for automated guided vehicle systems with time constraints using timed Petri nets

Dong

Ren

et al. 2020

Measurement and Control

Self Cite

View full text Add to dashboard Cite

Automated guided vehicles (AGVs) are extensively used in many applications such as intelligent transportation, logistics, and industrial factories. In this paper, we address the path planning problem for an AGV system (i.e. a team of identical AGVs) with logic and time constraints using Petri nets. We propose a method to model an AGV system and its static environment by timed Petri nets. Combining the structural characteristics of Petri nets and integer linear programming technique, a path planning method is developed to ensure that all task regions are visited by AGVs in time and forbidden regions are always avoided. Finally, simulation studies are presented to show the effectiveness of the proposed path planning methodology.

show abstract