基于Petri网的状态图自动分析

Scidown文献预览系统！

作者：scidown 发布时间：2021-05-30 15:01:24 文章标题：

基于Petri网的状态图自动分析( Toward Automatic Analyzing Statechart with Petri Net )

文章作者：

WG Ma C Yuan W Wei L Wei H Xin-Hong UML statechart petri net distributed railway interlocking system

文章简述：

针对利用Petri网对UML模型进行分析的问题，提出了一种从UML状态图到Petri网的语义转换方法。首先给出了UML状态图的形式化定义,利用状态集、转移集、事件集、保护集、对象集和状态的精化函数描述了UML状态图的特征,设计了状态并发转移集、冲突转移集和转移优先级转移集。基于Petri网严格的形式化语义，研究了它们之间的等价性，提出了UML状态图到Petri网的转换算法，为实现Petri网的自动转换奠定了基础。最后，为了验证所提出的方法，对一种新型的分散式铁路联锁系统进行了建模和分析，以保证车站内列车的安全。

文章下载地址（开放版）：