Abstract:The liveness of Petri nets (PNs) means that every event can occur in any state, establishing a close relationship with the deadlock-free property of existing systems. Due to the problem of state space explosion and the infinite state space of unbounded PNs (UPNs), the time complexity and space complexity of the liveness decision are difficult to give accurate measures; at least, they are both NP-hard. Except for some particular subclasses of UPNs, there has not been an accurate method to decide the liveness of generalized UPNs. Thus, a liveness decision method from a machine learning perspective is proposed to predict probability values about UPNs’ liveness within a finite time. The method aims to learn the feature information on UPNs by deep neural networks and establish the mapping relationship between the UPNs and the liveness. First, the concept of approximating infinite space with finite states is applied to generate reachability graphs at different moments, following the firing rules of a UPN. Then, the graph convolutional network (GCN)-based reachability graph feature representation module and the gated recurrent unit (GRU)-based UPN feature representation module are designed to map the reachability graphs at different moments into the low-dimensional feature space. And the feature vector that can characterize the UPN’s liveness is obtained to decide the liveness probabilistically. Finally, three datasets, including 50 000 samples, are constructed. Based on these datasets and some case studies, the experimental results validate the method’s ability to make liveness decisions for UPNs, demonstrating its strong performance in terms of effectiveness and generalization.

Classifying the Live Nets Based on the Monotone of Live Markings

Control synthesis for a class of controlled Petri nets

Optimal monitor-based supervisor sythesis for a class of Petri nets with unobservable transitions

Liveness Problem of Petri Nets Supervisory Control Theory for Discrete Event Systems

Codiagnosability Verification Of Bounded Petri Nets Using Basis Markings

A Necessary and Sufficient Condition for the Liveness of Normal Nets

Supervisor design for a class of generalized Petri net with uncontrollable transitions

The New Method of Liveness Verification with Object-Oriented Timed Petri Nets.

The Probabilistic Liveness Decision Method of Unbounded Petri Nets Based on Machine Learning

Liveness Analysis of Ω-Independent Petri Nets Based on New Modified Reachability Trees.

Structural Liveness of Immediate Observation Petri Nets

On Liveness Enforcement of Distributed Petri Net Systems

Liveness And Boundedness Analysis For Petri Nets With Event Graph Modules

On Properties of Concurrent System Based on Petri Net Language

Deciding the Liveness for A Subclass of Weighted Petri Nets Based on Structurally Circular Wait

A Live Subclass of Petri Nets and Their Application in Modeling Flexible Manufacturing Systems

Relationship between process expression and liveness of bounded Petri nets

The Liveness Of (Wspr)-P-3: Complexity And Decision

On Liveness Enforcing Supervisory Policies for Arbitrary Petri Nets

One Kind of Petri Nets with Systematized Changeable Structure

A Modular Petri Net for the Asynchronous Communications