Ara
Toplam kayıt 6, listelenen: 1-6
Overlapping decompositions and expansions of Petri nets
(IEEE-Inst Electrical Electronics Engineers Inc, 2002)
Overlapping decompositions and expansions are considered to design decentralized controllers for discrete-event systems (DESs) modeled, by Petri nets. The inclusion principle for Petri nets is first defined. It is shown ...
Appliance based control for Home Power Management Systems
(Pergamon-Elsevier Science LTD, 2016)
This study scrutinizes energy-friendly smart home appliances (hereafter 'smart appliances'), control of these appliances and their effects on the efficient use of energy. To accomplish this, smart appliances and their ...
Supervisory Controller Design for Timed-Place Petri Nets
(Kybernetika, 2012)
Supervisory controller design to avoid deadlock in discrete-event systems modeled by timed-place Petri nets (TPPNs) is considered. The recently introduced approach of place-stretching is utilized for this purpose. In this ...
Decentralized structural control approach for Petri nets
(Polish Acad Sciences Systems Research Inst, 2007)
The structural controller, described by adding the control places to the Petri nets, is introduced in this work to lead the Petri net to the desired marking vectors. An algorithm (Algorithm is developed to determine the ...
Decentralized Structural Controller Design for Large-Scale Discrete-Event Systems Modelled By Petri Nets
(Kybernetika, 2009)
A decentralized structural controller design approach for discrete-event systems modelled by Petri nets is presented. The approach makes use of overlapping decompositions. The given Petri net model is first overlappingly ...
A reversibility enforcement approach for Petri nets using invariants
(2008)
Petri net model which is one of the most common modelling method of discrete event systems, is considered to enforce reversibility in this work. Reversibility guarantees that the intial state is reachable from any state ...