Abstract
Petri nets own graphical description ability based on solid mathematical foundation, this makes it a possible tool for analyzing complex system such as manufacturing system, but using Petri nets directly in large scale system will lead to state explosion. A Generalized Stochastic Petri Nets model of a repairable manufacturing cell is setup. As the first step to solve system state explosion problem, this 4 transitions model is transformed into a model with only one transition. Serial processing systems and parallel systems composed by such cells are transformed on the basis of cell model transformation, and such transformations are compared with those in other researches. The method presented in this paper helps to simplify system model and decrease system state space, and thus makes it feasible to use Petri nets in complex systems. Ill. 8, bibl. 12 (in English; abstracts in English and Lithuanian).DOI: http://dx.doi.org/10.5755/j01.eee.123.7.2388
Highlights
Petri nets are a well-known graphical modeling tool to reflect system state transition
For a system described by Petri nets, its dynamic behaviors are represented by the flow of either material resources or information resources
Capability and performance of a planed Flexible Manufacture System (FMS) should be evaluated during the designing process before fund investment, frequently used evaluating points include the average throughput time of parts processed in a workshop, average number of parts to be processed in the shop, the comprehensive utilization rate of equipments, the corresponding cost and profit, etc [1], above results help greatly to fund investment decision and find solution for making full use of equipment ability by combinatorial optimization
Summary
Petri nets are a well-known graphical modeling tool to reflect system state transition. State explosion is the main obstacle for model analysis and verification, model complexity hinders the application of Petri nets as an engineering method in complex systems greatly. To solve this problem, people presented different kinds of high level Petri nets such as Object Oriented Petri Nets (OOPN) and Colored Petri Nets [3, 4]. MTBF is the predicted elapsed time between inherent failures of a system during operation In this model and the rest of this paper, except the occasions with special explanations, we assume: 1. Availability of systems with stable state does not change with time t, it named as stable state availability or just availability, remarks as A. so
Sign-in/Register to view highlights & summary 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.
