Table of Contents Author Guidelines Submit a Manuscript
Discrete Dynamics in Nature and Society
Volume 2017, Article ID 1395142, 14 pages
https://doi.org/10.1155/2017/1395142
Research Article

An Enhanced Supervisory Control Strategy for Periodicity Mutual Exclusions in Discrete Event Systems Based on Petri Nets

1School of Computer and Software Engineering, Xihua University, Chengdu 610039, China
2School of Information Science and Technology, Southwest Jiaotong University, Chengdu 611756, China
3School of Computer Science and Technology, Huaqiao University, Xiamen 361021, China

Correspondence should be addressed to Zhongyuan Jiang; moc.361@jdyzgnaij

Received 2 September 2016; Accepted 8 December 2016; Published 30 January 2017

Academic Editor: Francisco R. Villatoro

Copyright © 2017 Zhongyuan Jiang et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

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 -derivation and -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.