Modeling and analysis of responsive space launch system based on timed colored Petri NeT
نویسندگان
چکیده
Responsive space launch is currently developing rapidly and has application cases in many fields, with advantages such as fast response speed flexible networking. Aiming at the efficiency evaluation of responsive system, this article first summarizes typical process launch, then gives a hierarchical model system based on timed colored Petri nets, including top-level model, demand command decision Model, measurement control finally use CPN Tools to simulate verify analyze basic characteristics performance provide data support theoretical basis for optimization system.
منابع مشابه
Integrated Manufacturing System Modeling and Simulation Using Distributed Colored Timed Petri Net
In this paper, an integrated and distributed modeling and simulation environment is developed for the next generation manufacturing systems. A distributed colored timed Petri net (DCTPN) is the modeling techniques for the proposed environment. Based on the DCTPN, the shop floor process and the manufacturing execution system (MES) can be integrated horizontally and vertically. In addition, a com...
متن کاملThe Performance Analysis of Web Service Composition Based on Timed Colored Petri Net
On the premise of meeting functional requirements, the performance of web service composition is key to customers. Therefore, performance modeling of web service composition has been an important research direction of reengineering. Time coloured Petri net (TCPN) can not only establish a simulation model for system behaviour, but also extract or collect many performance analysis results from th...
متن کاملColored timed petri-net and GA based approach to modeling and scheduling for wafer probe center
In this paper, we propose an architecture to simulate Wafer Probe. We use a modeling tool named CTPN (Colored-Timed Petri Nets) to model all testing flow. With CTPN model, we can predict the deliveiy date of any specific product under some scheduling policies efficiently and precisely. In the scheduling phase, we combine hvo popular methods to construct high-qualify schedules. One is to select ...
متن کامل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 i...
متن کاملVerification of Session Initiation Protocol Using Timed Colored Petri Net
In this work, Session Initiation Protocol model is established by using Timed Colored Petri Nets (TCPN). SIP (Session Initiation Protocol) is a protocol developed to assist in providing advanced telephony services across the Internet. The Session Initiation Protocol (SIP) has become the quasi-standard for VoiceoverInternet Protocol (VoIP) communications. SIP is based on a client-server infrastr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: MATEC web of conferences
سال: 2022
ISSN: ['2261-236X', '2274-7214']
DOI: https://doi.org/10.1051/matecconf/202235502014