Civil aircraft maintenance process simulation model is an effective method for analyzing the maintainability of a civil aircraft. First, we present the Hierarchical Colored Timed Petri Nets for maintenance process mod...Civil aircraft maintenance process simulation model is an effective method for analyzing the maintainability of a civil aircraft. First, we present the Hierarchical Colored Timed Petri Nets for maintenance process modeling of civil aircraft. Then, we expound a general method of civil aircraft maintenance activities, determine the maintenance level for decomposition, and propose the methods of describing logic of relations between the maintenance activities based on Petri Net. Finally, a time Colored Petri multi-level network modeling and simulation procedures and steps are given with the maintenance example of the landing gear burst tire of a certain type of aircraft. The feasibility of the method is proved by the example.展开更多
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 acr...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 Voiceover-Internet Protocol (VoIP) communications. SIP is based on a client–server infrastructure in which user agents represent the end-terminals as clients, proxy servers handle SIP message routing between the user agents, and registrar servers store the client’s contact information into a location service. By use of timed color set and useful time attributes in tokens defined in CPN tools, timer and time-related problems of SIP are modeled and analyzed. Timer is an important part for SIP, especially the INVITE transaction.展开更多
To solve the resource-constrained multiple project scheduling problem(RCMPSP) more effectively,a method based on timed colored Petri net(TCPN) was proposed.In this methodology,firstly a novel mapping mechanism between...To solve the resource-constrained multiple project scheduling problem(RCMPSP) more effectively,a method based on timed colored Petri net(TCPN) was proposed.In this methodology,firstly a novel mapping mechanism between traditional network diagram such as CPM(critical path method)/PERT(program evaluation and review technique) and TCPN was presented.Then a primary TCPN(PTCPN) for solving RCMPSP was modeled based on the proposed mapping mechanism.Meanwhile,the object PTCPN was used to simulate the multiple projects scheduling and to find the approximately optimal value of RCMPSP.Finally,the performance of the proposed approach for solving RCMPSP was validated by executing a mould manufacturing example.展开更多
A colored timed Petri net(CTPN)modeling technique is developed for flexible assembly system(FAS) In particular,one section is devoted to the deadlock nodel based on the Petri net The rule of the deadlock error rec...A colored timed Petri net(CTPN)modeling technique is developed for flexible assembly system(FAS) In particular,one section is devoted to the deadlock nodel based on the Petri net The rule of the deadlock error recovery is given Through the analysis of the behavioral properties of the FAS with the deadlock recovery model,the deadlock problem would be solved in the system.展开更多
A fine grained distributed multimedia synchronization model——Enhanced Fuzzy timing Petri Net was proposed which is good at modeling indeterminacy and fuzzy. To satisfy the need of maximum tolerable jitter, the suffi...A fine grained distributed multimedia synchronization model——Enhanced Fuzzy timing Petri Net was proposed which is good at modeling indeterminacy and fuzzy. To satisfy the need of maximum tolerable jitter, the sufficient conditions are given in intra object synchronization. Method to find a proper granularity in inter object synchronization is also given to satisfy skew. Exceptions are detected and corrected as early as possible using restricted blocking method.展开更多
A parametric Colored Petri net model of the switched Ethernet network with the tree-like topology is developed. The model’s structure is the same for any given network and contains fixed number of nodes. The tree-lik...A parametric Colored Petri net model of the switched Ethernet network with the tree-like topology is developed. The model’s structure is the same for any given network and contains fixed number of nodes. The tree-like topology of a definite network is given as the marking of dedicated places. The model represents a network containing workstations, servers, switches, and provides the evaluation of the network response time. Besides topology, the parameters of the model are performances of hardware and software used within the network. Performance evaluation for the network of the railway dispatcher center is implemented. Topics of the steady-stable condition and the optimal choice of hardware are discussed.展开更多
文摘Civil aircraft maintenance process simulation model is an effective method for analyzing the maintainability of a civil aircraft. First, we present the Hierarchical Colored Timed Petri Nets for maintenance process modeling of civil aircraft. Then, we expound a general method of civil aircraft maintenance activities, determine the maintenance level for decomposition, and propose the methods of describing logic of relations between the maintenance activities based on Petri Net. Finally, a time Colored Petri multi-level network modeling and simulation procedures and steps are given with the maintenance example of the landing gear burst tire of a certain type of aircraft. The feasibility of the method is proved by the example.
文摘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 Voiceover-Internet Protocol (VoIP) communications. SIP is based on a client–server infrastructure in which user agents represent the end-terminals as clients, proxy servers handle SIP message routing between the user agents, and registrar servers store the client’s contact information into a location service. By use of timed color set and useful time attributes in tokens defined in CPN tools, timer and time-related problems of SIP are modeled and analyzed. Timer is an important part for SIP, especially the INVITE transaction.
文摘To solve the resource-constrained multiple project scheduling problem(RCMPSP) more effectively,a method based on timed colored Petri net(TCPN) was proposed.In this methodology,firstly a novel mapping mechanism between traditional network diagram such as CPM(critical path method)/PERT(program evaluation and review technique) and TCPN was presented.Then a primary TCPN(PTCPN) for solving RCMPSP was modeled based on the proposed mapping mechanism.Meanwhile,the object PTCPN was used to simulate the multiple projects scheduling and to find the approximately optimal value of RCMPSP.Finally,the performance of the proposed approach for solving RCMPSP was validated by executing a mould manufacturing example.
文摘A colored timed Petri net(CTPN)modeling technique is developed for flexible assembly system(FAS) In particular,one section is devoted to the deadlock nodel based on the Petri net The rule of the deadlock error recovery is given Through the analysis of the behavioral properties of the FAS with the deadlock recovery model,the deadlock problem would be solved in the system.
文摘A fine grained distributed multimedia synchronization model——Enhanced Fuzzy timing Petri Net was proposed which is good at modeling indeterminacy and fuzzy. To satisfy the need of maximum tolerable jitter, the sufficient conditions are given in intra object synchronization. Method to find a proper granularity in inter object synchronization is also given to satisfy skew. Exceptions are detected and corrected as early as possible using restricted blocking method.
文摘A parametric Colored Petri net model of the switched Ethernet network with the tree-like topology is developed. The model’s structure is the same for any given network and contains fixed number of nodes. The tree-like topology of a definite network is given as the marking of dedicated places. The model represents a network containing workstations, servers, switches, and provides the evaluation of the network response time. Besides topology, the parameters of the model are performances of hardware and software used within the network. Performance evaluation for the network of the railway dispatcher center is implemented. Topics of the steady-stable condition and the optimal choice of hardware are discussed.