Ara
Toplam kayıt 35, listelenen: 1-10
Supervisory controller design for timed Petri Nets
(IEEE, 2006)
A method, called "stretching ", is introduced to represent timed Petri nets. Using this method, a new Petri net, called "stretched Petri net", which has only unit delays, is obtained to represent a timed-transition Petri ...
Modeling and simulation of a production system by using colored Petri nets
(IEEE, 2007)
The production system, given by [7], is modeled by colored Petri net in this paper. The basic properties of Petri nets (deadlock-freeness, and reversibility) are considered for the model of this production system. Simulations ...
Decentralized control design for interconnected discrete-event systems
(Pergamon-Elsevier Science LTD, 2001)
Interconnected discrete-event systems are studied in this paper. Petri nets are used to model these systems. A decentralized controller design approach, based on overlapping decompositions, is described for such systems. ...
Overlappingl
(IFAC Secretariat, 2002)
Overlapping decompositions and expansions of discrete-event systems (DESs) modeled by automata or formal languages are considered. Inclusion principle for such systems is defined. A decentralized supervisory controller ...
BUG Algorithm Analysis using Petri net
(IEEE, 2013)
In this study, BUG 1 navigation algorithm which is a simple motion planner, is modelled by the Petri net (PN) for a mobile robot (MR). We prefer this PN model to obtain the discrete data for this algorithm. PN is used as ...
Supervisory controller design to enforce reversibility and liveness in colored Petri nets
(Inst Control Robotics & Systems-Icros, 2007)
Colored Petri net model which is a model of discrete event systems is considered in this work. A supervisory controller which enforces reversibility and liveness simultaneously is presented. Furthermore, the algorithms, ...
Algorithms for deadlock avoidance and reversibility enforcement in discrete event systems
(Watam Press, 2006)
Discrete event systems which are modeled by automata are considered in this work. The algorithms which determine the set of deadlock states and the reversible set, and design the deadlock avoidance controller and the ...
A Final Marking Planning Method for Join Free Timed Continuous Petri nets
(Diptem University Genoa, 2011)
In this paper, an online control method is developed and corresponding algorithm is proposed for driving Join Free continuous Petri net from its initial marking, to target marking through a linear trajectory by minimizing ...
A Smart Air Conditioner in Smart Home
(IEEE, 2016)
In this work, a smart Air Conditioner scheme is proposed and its adaptation to a Smart Home system is presented. Firstly, working principles of conventional Air Conditioner and the proposed smart Air Conditioner are explained ...
A simulation algorithm for real systems using petri nets
(2007)
The real systems are considered to determine all states in the given time interval in this work. The timed Petri net that time delays are assigned to the transition is chosen to model for the real systems. Then, a new class ...