Analyzing and Verifying of SysML Activity Diagram Based on Petri Net
基于Petri网的SysML活动图的分析与验证

Systems modeling language is the latest international standard systems engineering modeling language. It contains two parts of semantics and notations which is lack of analysis and verification tools. For solving the questions, this paper presented a method for conversing the SysML activity diagram to the Petri net,mainly defined six transfor- mation rules for converting SysMI. activity diagram to a Petri net executable model. Using these transformation rules, SysML activity can be transformed into Petri net, and thus realizing its simplication, analysis and verification. Besides of this,it can detect concurrency-related code of conduct nature,such as dcadlocks,boundness,etc. And the consistency of the model was verified by the list method and simulate method. Finally, an example was used to verify the feasibility of the method.