Abstract:Automata and Petri nets are two typical models of discrete event systems. The paper studies the problem of converting a finite automaton into a Petri net that satisfies the specified structural features. More specifically, we identify a labeled Petri net from a nondeterminstic finite automaton such that the reachability graph of the identified net is isomorphic to the given automaton, meaning that the Petri net models exactly the same dynamic system as the automaton. The identified net necessarily satisfies the specified structural requirements, such as the numbers of places and transitions, absence of self-loops, the exact structure of a part of the net, and so on. Since label Petri nets and nondeterminstic finite automata are generalizations of Petri nets and deterministic finite automata, respectively, the proposed approach can identify a larger spectrum of Petri nets and effectively handle the nondeterminstic cases in the given automaton. Four kinds of conditions are first extracted from the given automaton, namely deterministic enabling conditions, nondeterministic enabling conditions (i.e., multiple transitions with the same label are enabled simultaneously at a marking), transition disabling conditions, and marking inequality conditions. Then, an integer linear programming problem is formulated by characterizing these four kinds of conditions using integer linear constraints. A labeled Petri net satisfying the structural requirements is obtained by solving the integer linear programming problem. We also present two examples to show the possible applications of the proposed identification approach.

Least-cost Transition Sequence Estimation in Labelled Time Petri Net Systems with Unobservable Transitions.

State Estimation in Labeled Time Petri Net Systems Using Observed Modified State Class Graph

Fault Diagnosis for Discrete Event Systems Using Partially Observed Petri Nets

Exponential state estimation for discrete-time switched genetic regulatory networks with random delays

Supervisor Synthesis for Enforcing Linear Constraints on A Class of Petri Nets with Unobservable Transitions

Codiagnosability Analysis of Bounded Petri Nets.

Minimum Initial Marking Estimation in Labeled Petri Nets With Unobservable Transitions Based on Minimal Explanations

State estimation for constant-time labeled automata under dense time

A System Fault Diagnosis Method Based on Labeled Time Petri Net with Data

Path Detectability Verification for Time-Dependent Systems with Application to Flexible Manufacturing Systems

State Estimator Design of Event Graph with Unobservable Transitions

Identification of labeled Petri nets from finite automata

Decision algorithm for legal firing transition sequence of Petri net based on T-invariant eliminating

Optimal Label Splitting for Embedding an LTS into an arbitrary Petri Net Reachability Graph is NP-complete

Optimal Sensor Selection for Diagnosability Enforcement of Discrete Event Systems Using Labeled Petri Net

L₂–l∞ State Estimation for Persistent Dwell-Time Switched Coupled Networks Subject to Round-Robin Protocol

Petri Nets with Time and Cost

Scheduling Fmss Based On A Hybrid Petri Net Framework

Transformation From Legal-marking Set to Admissible-marking Set of Petri Nets With Uncontrollable Transitions

An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions

Time Analysis of Scheduling Sequences Based on Petri Nets for Distributed Real-Time Embedded Systems