Abstract:

With the development of system engineering, more requirements of system quality are put forward. First, focusing on the system modeling language (SysML) activity diagram a conversion from core elements of SysML to the main element of Petri net is proposed, then the launch module of the command and control system are modelled, it also transforms the activity diagram model to the Petri net model with this conversion and uses the Petri net model validation tool to simulate the conversion model, this is to guarantee the integrity of the system.