Timed Colored Petri Nets Based
نویسندگان
چکیده
Abstract: Aero-engines maintenance procedure can be treated as a typical discrete event dynamic system. A theory that synthesized timed colored Petri net is proposed. The theory adopts a bottom-up approach by merging all sub modules, and each one characterizes the critical resource contention among processes. Nevertheless Petri net seems inapplicable to dynamic scheduling modelling because of its structural rigidity. Shared composition method of Petri net is introduced, which makes its structure adjustable dynamically. Given a set of preemptive dispatching rules, the makespan can be analyzed using linear state equation in the sense of max-plus algebra. To minimize makespan of each aero-engine, genetic algorithm is adopted to arrange the firing sequence of transitions. Dynamic scheduling strategy uses rolling horizon composed by colors is presented. According to the simulation result, the module is verified to be effective and robust. [Nature and Science. 2006;4(2):46-51].
منابع مشابه
A rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملThroughput analysis in timed colored Petri nets
It is shown that the steady-state behavior of a class of timed colored Petri nets can be analyzed using the concept of throughput and simple rules of operational analysis. Since such analysis is based on the average values of firing times rather than firing time distribution functions, the same approach ca be applied to a variety of net models. Throughput analysis is based on S t N C t U d prop...
متن کاملRisk Modeling and Analysis of Interdependencies of Critical Infrastructures Using Colored Timed Petri Nets
Petri Nets (PNs) and their variations are a graphical, mathematical language that can be used for the specification, analysis and verification of discrete event systems, including Critical Infrastructures (CIs). Colored PNs are an extension of classical PNs that are suitable for modeling and analyzing complex interconnected CIs. Timed PNs are another extension of PNs that support timing constra...
متن کاملAccessibility Evaluation in Biometric Hybrid Architecture for Protecting Social Networks Using Colored Petri Nets
In the last few decades, technological progress has been made important information systems that require high security, Use safe and efficient methods for protecting their privacy. It is a major challenge to Protecting vital data and the ability to threaten attackers. And this has made it important and necessary to be sensitive to the authentication and identify of individuals in confidential n...
متن کاملModeling Bus Communication Protocols Using Timed Colored Petri Nets — The Controller Area Network Example
Engineers in industry usually design new systems based on earlier experience and available development tools. Unfortunately, software tools that enable industrial users insight into systems’ inner behavior before the production, are still not in everyday use. However, such tools, when used properly, can save both time and money. In this paper a system based on Controller Area Network is modeled...
متن کامل