MODELING AND ANALYSIS OF STAND BY REDUNDANCY SYSTEM TO GENERATE THE REACHABILITY TREE USING PETRI NET SYSTEM
Abstract
Petri Nets have come to play an important role in modeling. Petri Nets are an effective modeling tool for the description and analysis of concurrency and synchronization in systems, which exhibit cooperative action of different entities. They are highly desirable for systems, which are concurrent, asynchronous, distributed, parallel, non-deterministic and/or stochastic. As a graphical tool, Petri nets can be used as a visual-communication aid similar to flow charts, block diagrams, and networks. There are several possibilities to do this for a Petri net; however, the most common way is to associate a firing delay with each transition. Petri nets are an emerging modeling tool for performance evaluation of manufacturing systems. Present day manufacturing systems are very complex and need in depth analysis before implementing them. Various models have been proposed for the evaluation of these systems. Stochastic Petri nets are an emerging modeling tool for performance evaluation of manufacturing systems. In this paper the authors have developed a model for a stand by redundancy system and analyzed it to generate the reachability tree using Petri net system.Downloads
Published
How to Cite
Issue
Section
License
COPYRIGHT AGREEMENT AND AUTHORSHIP RESPONSIBILITY
Â
All paper submissions must carry the following duly signed by all the authors:
“I certify that I have participated sufficiently in the conception and design of this work and the analysis of the data (wherever applicable), as well as the writing of the manuscript, to take public responsibility for it. I believe the manuscript represents valid work. I have reviewed the final version of the manuscript and approve it for publication. Neither has the manuscript nor one with substantially similar content under my authorship been published nor is being considered for publication elsewhere, except as described in an attachment. Furthermore I attest that I shall produce the data upon which the manuscript is based for examination by the editors or their assignees, if requested.â€