An Enhanced Supervisory Control Strategy for Periodicity Mutual Exclusions in Discrete Event Systems Based on Petri Nets
Mutual exclusion problems widely exist in discrete event systems in which several processes will compete for the common resource for maintaining their normal running. This competition is mutually exclusive. However, a special behavior, that is, periodic mutual exclusion behavior, is important for ma...
Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2017-01-01
|
| Series: | Discrete Dynamics in Nature and Society |
| Online Access: | http://dx.doi.org/10.1155/2017/1395142 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1832550602035429376 |
|---|---|
| author | Zhongyuan Jiang Huan Wang Xiaoliang Chen Mingwei Tang Jianhong Ye |
| author_facet | Zhongyuan Jiang Huan Wang Xiaoliang Chen Mingwei Tang Jianhong Ye |
| author_sort | Zhongyuan Jiang |
| collection | DOAJ |
| description | Mutual exclusion problems widely exist in discrete event systems in which several processes will compete for the common resource for maintaining their normal running. This competition is mutually exclusive. However, a special behavior, that is, periodic mutual exclusion behavior, is important for many discrete event systems. Once a process obtains the common resource, it will consecutively obtain the common resource in the following several competitions. The other processes should wait for the release of the common resource. All processes will compete for the common resource again after the common resource is released. These competitions have obvious periodicity. In this paper, a methodology is proposed to design periodic mutual exclusion supervisors to control the periodic mutual exclusion behavior in discrete event systems. Moreover, two original structural conversion concepts, called k-derivation and k-convergence processes, are proposed to construct the periodic mutual exclusion supervisors. The discussion results show that many undesirable execution sequences are forbidden since the periodic mutual exclusion behavior is controlled by the proposed periodic mutual exclusion supervisors. Finally, an example is used to illustrate the proposed methodology. |
| format | Article |
| id | doaj-art-0ad846f4146f4967811cbdf46c29cbe6 |
| institution | Kabale University |
| issn | 1026-0226 1607-887X |
| language | English |
| publishDate | 2017-01-01 |
| publisher | Wiley |
| record_format | Article |
| series | Discrete Dynamics in Nature and Society |
| spelling | doaj-art-0ad846f4146f4967811cbdf46c29cbe62025-02-03T06:06:13ZengWileyDiscrete Dynamics in Nature and Society1026-02261607-887X2017-01-01201710.1155/2017/13951421395142An Enhanced Supervisory Control Strategy for Periodicity Mutual Exclusions in Discrete Event Systems Based on Petri NetsZhongyuan Jiang0Huan Wang1Xiaoliang Chen2Mingwei Tang3Jianhong Ye4School of Computer and Software Engineering, Xihua University, Chengdu 610039, ChinaSchool of Information Science and Technology, Southwest Jiaotong University, Chengdu 611756, ChinaSchool of Computer and Software Engineering, Xihua University, Chengdu 610039, ChinaSchool of Computer and Software Engineering, Xihua University, Chengdu 610039, ChinaSchool of Computer Science and Technology, Huaqiao University, Xiamen 361021, ChinaMutual exclusion problems widely exist in discrete event systems in which several processes will compete for the common resource for maintaining their normal running. This competition is mutually exclusive. However, a special behavior, that is, periodic mutual exclusion behavior, is important for many discrete event systems. Once a process obtains the common resource, it will consecutively obtain the common resource in the following several competitions. The other processes should wait for the release of the common resource. All processes will compete for the common resource again after the common resource is released. These competitions have obvious periodicity. In this paper, a methodology is proposed to design periodic mutual exclusion supervisors to control the periodic mutual exclusion behavior in discrete event systems. Moreover, two original structural conversion concepts, called k-derivation and k-convergence processes, are proposed to construct the periodic mutual exclusion supervisors. The discussion results show that many undesirable execution sequences are forbidden since the periodic mutual exclusion behavior is controlled by the proposed periodic mutual exclusion supervisors. Finally, an example is used to illustrate the proposed methodology.http://dx.doi.org/10.1155/2017/1395142 |
| spellingShingle | Zhongyuan Jiang Huan Wang Xiaoliang Chen Mingwei Tang Jianhong Ye An Enhanced Supervisory Control Strategy for Periodicity Mutual Exclusions in Discrete Event Systems Based on Petri Nets Discrete Dynamics in Nature and Society |
| title | An Enhanced Supervisory Control Strategy for Periodicity Mutual Exclusions in Discrete Event Systems Based on Petri Nets |
| title_full | An Enhanced Supervisory Control Strategy for Periodicity Mutual Exclusions in Discrete Event Systems Based on Petri Nets |
| title_fullStr | An Enhanced Supervisory Control Strategy for Periodicity Mutual Exclusions in Discrete Event Systems Based on Petri Nets |
| title_full_unstemmed | An Enhanced Supervisory Control Strategy for Periodicity Mutual Exclusions in Discrete Event Systems Based on Petri Nets |
| title_short | An Enhanced Supervisory Control Strategy for Periodicity Mutual Exclusions in Discrete Event Systems Based on Petri Nets |
| title_sort | enhanced supervisory control strategy for periodicity mutual exclusions in discrete event systems based on petri nets |
| url | http://dx.doi.org/10.1155/2017/1395142 |
| work_keys_str_mv | AT zhongyuanjiang anenhancedsupervisorycontrolstrategyforperiodicitymutualexclusionsindiscreteeventsystemsbasedonpetrinets AT huanwang anenhancedsupervisorycontrolstrategyforperiodicitymutualexclusionsindiscreteeventsystemsbasedonpetrinets AT xiaoliangchen anenhancedsupervisorycontrolstrategyforperiodicitymutualexclusionsindiscreteeventsystemsbasedonpetrinets AT mingweitang anenhancedsupervisorycontrolstrategyforperiodicitymutualexclusionsindiscreteeventsystemsbasedonpetrinets AT jianhongye anenhancedsupervisorycontrolstrategyforperiodicitymutualexclusionsindiscreteeventsystemsbasedonpetrinets AT zhongyuanjiang enhancedsupervisorycontrolstrategyforperiodicitymutualexclusionsindiscreteeventsystemsbasedonpetrinets AT huanwang enhancedsupervisorycontrolstrategyforperiodicitymutualexclusionsindiscreteeventsystemsbasedonpetrinets AT xiaoliangchen enhancedsupervisorycontrolstrategyforperiodicitymutualexclusionsindiscreteeventsystemsbasedonpetrinets AT mingweitang enhancedsupervisorycontrolstrategyforperiodicitymutualexclusionsindiscreteeventsystemsbasedonpetrinets AT jianhongye enhancedsupervisorycontrolstrategyforperiodicitymutualexclusionsindiscreteeventsystemsbasedonpetrinets |