《表1 Petri网模型中变迁元素含义》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《基于UML和Petri网的防空反导系统建模》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

根据转化规则，得到将某型防空反导系统活动图转换后的Petri网模型，图8即模型按规则转换结果。Petri网中P是位置节点的有限集合，在该系统中代表警戒雷达、指挥平台、引导系统，以及拦截导弹，而T表示变迁，指的是UML活动图中的活动，一共可以产生28种状态，具体变迁如表1所示。