状态机变迁相关硕士博士期刊学术论文 - 信丰网

状态机变迁相关论文

基于Petri网的状态机变迁的形式化方法研究

UML状态机图用来描述一个特定对象生命周期经历各种状态,尽管其表达简单明了,易于理解,但它缺乏准确语义,难以对其进行语义分析和......

期刊

PETRI网状态机变迁触发器事件监护条件形式化方法 petri net state machine transition trigger event

看过本文同时还关注