Abstract
In this paper, a hybrid model of a multiple elevator system is proposed, consisting of a timed place Petri net (TPPN) model and a set of control rules implemented via the so-called control places in the TPPN model. The Petri net model is a highly modulized structure, whose constituent modules can be classified into three types: basic movement module, loading/unloading module, and direction reversing module. The whole complete model is a combination of the copies of the above three modules. Since the firing sequences of the TPPN equate the evolution of the modeled system, they can be regarded as a schedule. A heuristic search algorithm, A* search, is thus used on the reachability graph of the TPPN model to obtain the desirable schedule. To show the feasibility of the proposed method, an emulator of the elevator system is constructed for demonstration. The experiment result for a 15-floor building with four elevators is shown to be satisfactory.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
