Modeling Method Of UML & Petri Nets And Its Application In C～4ISR System

Research on modeling methods of UML and Petri Nets with C~4ISR system as anapplication background is presented to improve their adaptability. The main contributionsinclude:(1) The modeling method of UML based on DEVS is presented in order to support thecoupling relation description among models. The reachability matrix is used to discuss thechanges caused by adding, reducing, deleting, reconfiguring and splitting sub-model understatic state.(2) The extended CS-class firing rule (ECS-class) is put forward not only to computethe time delay under the concurrence but also to schedule the event under the choice. Newatomic-level reduction rules based on T-Net are presented, which have more widerapplication than the rules appeared in the document [110]. In addition, supplement of thecomponent-level reduction rules referenced by [111,122] is also studied.(3) The hierarchical modeling method based on UML and Petri nets is proposed,which uses Petri nets to specify the dynamic behavior that is transformed to UML StateDiagram and Sequence Diagram after analysis and optimization. The concept ofinformation net (IPN) is introduced not only to show the change of state but also todescribe the flowing process of information. An algorithm for the transformation from IPNto state diagram is presented, and the UML sequence diagram is extended for a betterdescription of concurrency, synchronization, choice and confluence.(4) The object time Petri nets model is proposed as the combination of Petri nets andobject-oriented technology, which has features of modularization, polymorphism, reuseand inheritance. Time consistency verification based on OTPN model is used to computethe time delay and judge if the time constraint condition is satisfied. The incidence matrixanalysis method based on OTPN is to verify the reachability. DCA is used to check if thedeadlock exists.