Simplification of a Petri Net controller in industrial systems

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 co...

Full description

Saved in:
Bibliographic Details
Published in:International journal of industrial engineering & production research 2013-02, Vol.24 (1), p.59-70
Main Authors: Abbas Dideban, Maysam Zareiee, Ali A. Orouji, Hassan rezaei soleymanpour
Format: Article
Language:English
Subjects:
Discrete Event System (DES)
Flexible Manufacturing System (FMS)
Generalized Mutual Exclusion constraint (GMEC)
Petri Net (PN)
Supervisory Control Theory
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:2008-4889
2345-363X