随着计算机和通信技术的不断发展,开放的协议标准和层出不穷的应用方式吸引着通讯网络采用IP网络体系架构,从而向新一代的通讯网络......

可达性是Petri网的最基本的动态性质之一。它是研究Petri网其它动态性质的基石，许多Petri网的其他问题都可以通过其可达性来表述。......

可达性树（reachabilty tree）表示petri网的可达标识集。它既和petri网的结构有关，也和petri网的初始标识有关。通过分析petri网的可迭......

星载海量存储器的实时性和安全性要求在系统设计初期进行形式化分析和仿真。在采用UML对系统进行建模的基础上,本文提出一种通用算......

sip的petri网模型建立在会话初始协议服务过程的基础之上。通过对petri网性能和可达性树的分析,证明该协议是有效的、无死锁的、活......

Petri网的可达性树和可达性图都是分析Petri网的一种工具.本文先给出了如何从可达性树转换成可达性图,然后利用可达性图来判断petr......