Simplification of a Petri Net controller in industrial systems

Dideban, Abbas; Zareiee, Maysam; Orouji, Ali A.; rezaei soleymanpour , Hassan

Volume 24, Issue 1 (IJIEPR 2013) IJIEPR 2013, 24(1): 59-70 | Back to browse issues page

Mendeley

Zotero

RefWorks

Dideban A, Zareiee M, Orouji A A, rezaei soleymanpour H. Simplification of a Petri Net controller in industrial systems. IJIEPR 2013; 24 (1) :59-70
URL: http://ijiepr.iust.ac.ir/article-1-299-en.html

Simplification of a Petri Net controller in industrial systems

Abbas Dideban

¹, Maysam Zareiee²

, Ali A. Orouji²

, Hassan Rezaei soleymanpour²

1- Electrical and Computer engineering Faculty, Semnan University , adideban@semnan.ac.ir
2- Electrical and Computer engineering Faculty, Semnan University

Abstract: (7130 Views)

This paper deals with the problem of forbidden states in discrete event systems modeled by Petri Net. To avoid the forbidden states, some constraints which are called Generalized Mutual Exclusion Constraints can be assigned to them. Enforcing these constraints on the system can be performed using control places. However, when the number of these constraints is large, a large number of control places must be connected to the system which complicates the model of controller. In this paper, the objective is to propose a general method for reducing the number of the mentioned constraints and consequently the number of control places. This method is based on mixing some constraints for obtaining a constraint verifying all of them which is performed using the optimization algorithms. The obtained controller after reducing the number of the control places is maximally permissive.

Keywords: Discrete Event System (DES), Supervisory Control Theory, Petri Net (PN), Generalized Mutual Exclusion constraint (GMEC), Flexible Manufacturing System (FMS)

Full-Text [PDF 815 kb] (2805 Downloads)

Type of Study: Research | Subject: Manufacturing Process & Systems
Received: 2011/08/27 | Published: 2013/02/15