Premium
Solving the Problem of Forbidden States in Discrete Event Systems: A Novel Systematic Method for Reducing the Number of Control Places
Author(s) -
Zareiee Meysam,
Dideban Abbas,
Orouji Ali A.,
Soltanizadeh Hadi
Publication year - 2015
Publication title -
asian journal of control
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.769
H-Index - 53
eISSN - 1934-6093
pISSN - 1561-8625
DOI - 10.1002/asjc.947
Subject(s) - limit (mathematics) , cover (algebra) , mutual exclusion , petri net , controller (irrigation) , event (particle physics) , control (management) , mathematics , computer science , control system , mathematical optimization , distributed computing , engineering , physics , artificial intelligence , mechanical engineering , mathematical analysis , agronomy , electrical engineering , quantum mechanics , biology
This paper deals with the problem of forbidden states in Discrete Event Systems modelled by non‐safe Petri Nets. To avoid these states, some Generalized Mutual Exclusion Constraints can be assigned to them. These constraints limit the weight sum of tokens in some places and can be enforced on the system using control places. When the number of these constraints is large, a large number of control places should be added to the system. In this paper, a method is presented to assign the small number of constraints to forbidden states using some states which cover the forbidden states. So, a small number of control places are added to the system leading to obtaining a maximally permissive controller.