Work

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

Year: 2025

Type: article

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.

Source: Mathematics

DOI: 10.3390/math13050793

Authors: Chengzong Li, Fubao Jin, Yufeng Chen, Zhiwu Li, Murat Uzam, Huimin Ma

Institutions: Qinghai University, Macau University of Science and Technology, Yozgat Bozok Üniversitesi, State Grid Corporation of China (China)

Language: English

Topic: Petri Nets in System Modeling

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: gold

Estimated APC paid: $3,137

Funder: Science and Technology Development Fund