Ara
Toplam kayıt 20, 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 ...
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 ...
Supervisory controller design to enforce basic properties in timed-place petri nets
(2013)
Supervisory controller design to enforce boundedness, reversibility, and liveness in discrete-event systems with time-delays is considered. It is assumed that the system is modeled by a timed-place Petri net. The approach ...
Reversibility analysis for Petri nets by using T-invariants
(World Scientific And Engineering Acad And Soc, 2008)
In this work, we propose a method, based on T-invariants, to analyse reversibility of Petri nets. Proposed method determines all possible transition sequences, corresponding to minimal T-invariants. Then a reversible set ...
Controller design to enforce boundedness, liveness, and reversibility in Petri nets
(IFAC Secretariat, 2003)
Supervisory controller design to enforce bouudedness. reversibility, and liveness in ordinary Petri nets with weighted arcs is considered. Algorithms are presented to design a controller to enforce these properties ...