Open AccessSequence Planning for Labeled Petri Nets with Time and Resource Constraints Using Basis Markings
Author(s) -
Yejia Liu,
Xunbo Li,
Ahmed M. El-Sherbeeny
Publication year - 2023
Publication title -
ieee access
Language(s) - English
Resource type - Journals
ISSN - 2169-3536
DOI - 10.1109/access.2023.3322141
Subject(s) - aerospace , bioengineering , communication, networking and broadcast technologies , components, circuits, devices and systems , computing and processing , engineered materials, dielectrics and plasmas , engineering profession , fields, waves and electromagnetics , general topics for engineers , geoscience , nuclear engineering , photonics and electrooptics , power, energy and industry applications , robotics and control systems , signal processing and analysis , transportation
This paper addresses the scheduling problem for discrete event systems modeled by labeled Petri nets with time and resource constraints where deadlocks are inevitable. For better resource utilization and shorter processing time, a heuristic algorithm is presented for designing a suitable transition sequence that starts from the initial marking to a set of target markings using basis markings. Specially, two reasons exist for deadlocks in the given system. One is the resource exhaustion and the other is the unreasonable resource allocation. We only focus on the former. First, the set of target markings, i.e., deadlocks caused by resource exhaustion, is identified using the notion of basis markings and resource-exhausted markings. The basis reachability graph instead of the conventional reachability graph is constructed to avoid state space explosion. An integer linear programming problem based on the notion of deadlocks is carried out to distinguish basis markings, where deadlocks can be reached by firing unobservable transitions only. Then, the A-star algorithm is applied to the basis marking space to schedule the transition firing sequences and the optimal results may be obtained. Unpromising searching areas are reduced and only a part of the markings is probed. Finally, a numerical case is studied to verify the effectiveness of the proposed algorithm. The main advantages of the proposed approach include that the exhaustive enumeration of the reachability space can be avoided and the calculation can be completed off-line.