Calculation and Analysis of Petri Net Reachability Graphs by a Think-Globally-Act-Locally Method

Chengzong Li, Fubao Jin, Yufeng Chen (), Zhiwu Li, Murat Uzam and Huimin Ma
Additional contact information
Chengzong Li: School of Energy and Electrical Engineering, Qinghai University, Xining 810000, China
Fubao Jin: School of Energy and Electrical Engineering, Qinghai University, Xining 810000, China
Yufeng Chen: Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau SAR 999078, China
Zhiwu Li: Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau SAR 999078, China
Murat Uzam: Elektrik-Elektronik Muhendisligi Bolumu, Muhendislik-Mimarlik Fakultesi, Yozgat Bozok Universitesi, Yozgat 66100, Turkey
Huimin Ma: State Grid Qinghai Electric Power Company, UHV Company, Xining 810000, China

Mathematics, 2025, vol. 13, issue 5, 1-15

Abstract: A think-globally-act-locally (TGAL) technique is proven to be an effective method to address the state explosion issue for complex discrete event systems modeled with Petri nets. This paper introduces a TGAL-based method for computing and analyzing the reachability graph (RG) of Petri net models. Given a net system, the TGAL technique strategically introduces a global idle place (GIP) to iteratively generate its RG by updating the token count. At each step, the reachable markings (RMs) and legal markings (LMs) obtained by the previous iterations are considered to calculate the corresponding states of the current step. According to the enforced control requirement, a system state is required to be computed and classified only once during an iterative process. This method only calculates the necessary number of RMs and reduces computational redundancy, which minimizes the computational cost. Four typical Petri net models from existing studies are employed to demonstrate the method.

Keywords: discrete event system; Petri net; reachability graph analysis; think-globally-act-locally approach (search for similar items in EconPapers)
JEL-codes: C (search for similar items in EconPapers)
Date: 2025
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
https://www.mdpi.com/2227-7390/13/5/793/pdf (application/pdf)
https://www.mdpi.com/2227-7390/13/5/793/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jmathe:v:13:y:2025:i:5:p:793-:d:1601506

Access Statistics for this article

Mathematics is currently edited by Ms. Emma He

More articles in Mathematics from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().