Computation of an Optimal Transformed Linear Constraint in a Class of Petri Nets With Uncontrollable Transitions
Deciding how to prevent discrete event systems (DESs) from reaching forbidden states is an important problem in the field of DES supervisory control. For DESs with uncontrollable events, linear constraint transformation becomes a popular technique for solving the forbidden state problem when Petri n...
| Published in: | IEEE Access |
|---|---|
| Main Authors: | , , , |
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2017-01-01
|
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/7907244/ |
| _version_ | 1852776831815516160 |
|---|---|
| author | Dan You Shouguang Wang Zhiwu Li Chengying Wang |
| author_facet | Dan You Shouguang Wang Zhiwu Li Chengying Wang |
| author_sort | Dan You |
| collection | DOAJ |
| container_title | IEEE Access |
| description | Deciding how to prevent discrete event systems (DESs) from reaching forbidden states is an important problem in the field of DES supervisory control. For DESs with uncontrollable events, linear constraint transformation becomes a popular technique for solving the forbidden state problem when Petri nets are used as a modeling tool and control specifications are given in the form of linear constraints. This paper proposes a novel linear constraint transformation approach that is applicable to PT-ordinary Petri nets with uncontrollable subnets being forward-concurrent-free. For such nets, a linear constraint can be transformed into an optimal transformed one (i.e., a linear constraint that exactly characterizes the admissible marking set) by using the proposed approach, which is computationally shown to be of polynomial complexity with respect to the net size. An example is presented to illustrate the developed technique. |
| format | Article |
| id | doaj-art-d1e1b48da26a4e65a026d5cc063772cd |
| institution | Directory of Open Access Journals |
| issn | 2169-3536 |
| language | English |
| publishDate | 2017-01-01 |
| publisher | IEEE |
| record_format | Article |
| spelling | doaj-art-d1e1b48da26a4e65a026d5cc063772cd2025-08-19T20:49:40ZengIEEEIEEE Access2169-35362017-01-0156780679010.1109/ACCESS.2017.26960297907244Computation of an Optimal Transformed Linear Constraint in a Class of Petri Nets With Uncontrollable TransitionsDan You0https://orcid.org/0000-0001-9088-9672Shouguang Wang1https://orcid.org/0000-0002-8998-0433Zhiwu Li2Chengying Wang3School of Information and Electronic Engineering, Zhejiang Gongshang University, Hangzhou, ChinaSchool of Information and Electronic Engineering, Zhejiang Gongshang University, Hangzhou, ChinaSchool of Information and Electronic Engineering, Zhejiang Gongshang University, Hangzhou, ChinaSchool of Information and Electronic Engineering, Zhejiang Gongshang University, Hangzhou, ChinaDeciding how to prevent discrete event systems (DESs) from reaching forbidden states is an important problem in the field of DES supervisory control. For DESs with uncontrollable events, linear constraint transformation becomes a popular technique for solving the forbidden state problem when Petri nets are used as a modeling tool and control specifications are given in the form of linear constraints. This paper proposes a novel linear constraint transformation approach that is applicable to PT-ordinary Petri nets with uncontrollable subnets being forward-concurrent-free. For such nets, a linear constraint can be transformed into an optimal transformed one (i.e., a linear constraint that exactly characterizes the admissible marking set) by using the proposed approach, which is computationally shown to be of polynomial complexity with respect to the net size. An example is presented to illustrate the developed technique.https://ieeexplore.ieee.org/document/7907244/Discrete event systemsPetri netsuncontrollable transitionslinear constraintsoptimal transformation |
| spellingShingle | Dan You Shouguang Wang Zhiwu Li Chengying Wang Computation of an Optimal Transformed Linear Constraint in a Class of Petri Nets With Uncontrollable Transitions Discrete event systems Petri nets uncontrollable transitions linear constraints optimal transformation |
| title | Computation of an Optimal Transformed Linear Constraint in a Class of Petri Nets With Uncontrollable Transitions |
| title_full | Computation of an Optimal Transformed Linear Constraint in a Class of Petri Nets With Uncontrollable Transitions |
| title_fullStr | Computation of an Optimal Transformed Linear Constraint in a Class of Petri Nets With Uncontrollable Transitions |
| title_full_unstemmed | Computation of an Optimal Transformed Linear Constraint in a Class of Petri Nets With Uncontrollable Transitions |
| title_short | Computation of an Optimal Transformed Linear Constraint in a Class of Petri Nets With Uncontrollable Transitions |
| title_sort | computation of an optimal transformed linear constraint in a class of petri nets with uncontrollable transitions |
| topic | Discrete event systems Petri nets uncontrollable transitions linear constraints optimal transformation |
| url | https://ieeexplore.ieee.org/document/7907244/ |
| work_keys_str_mv | AT danyou computationofanoptimaltransformedlinearconstraintinaclassofpetrinetswithuncontrollabletransitions AT shouguangwang computationofanoptimaltransformedlinearconstraintinaclassofpetrinetswithuncontrollabletransitions AT zhiwuli computationofanoptimaltransformedlinearconstraintinaclassofpetrinetswithuncontrollabletransitions AT chengyingwang computationofanoptimaltransformedlinearconstraintinaclassofpetrinetswithuncontrollabletransitions |