Bank switching performance verification with object-oriented timed Petri nets

In modern society, the bank is required continuous and stable service, then when occured unexpected disaster, system Collapse and data loss will cause serious economic losses. it is necessary to switch the equipment for continuous service. At present, there has been no effecive method that could verify the performance of bank switching. This paper proposed a new method to verify the bank switching performance. First, we introduced the Petri nets which is suitable to describe the system behavior. Second, but the bank system is complex and difficult to express. In order to express the system succinctly, with the object-oriented concept and TPN(Timed Petri Nets), OOTPN is proposed to describe the bank switching model; Third, the OOTPN property is proved; At last, combined with the mathematical distribution, the switching efficiency is verified based on the OOTPN. A specific example is given, and it illustrates that the proposed method is effective to verify the performance.