后继标识相关硕士博士期刊学术论文 - 搜论网

后继标识相关论文

Petri网协议分析器

本文以基于Ｐｅｔｒｉ网的协议工程工作站为研究目标，阐述协议工程工作站的基本功能，简介ＥＰｒ／ＴＮ网系统，着重探讨作者实现的协议描述分析辅助工具ＰＥＳＡＴ的功能......

期刊

协议分析器 Petri网工程工作站协议工程辅助工具禁止弧后继标识初始标识协议描述可达标识集

EPr/TN网可达性分析的冗余并发后继标识

文中针对ＥＰｒ／ＴＮ网在可达性分析时出现的冗余并发后继现象，从产生原因入手，给出一种解决算法．并由此深入研究这种扩展Ｐｅｔｒｉ网固有的不完备性，最后提......

期刊

后继标识 EPr/TN 可达性分析冗余系统禁止弧完备性网模型并发变迁变迁序列可达树

看过本文同时还关注