论文部分内容阅读
该文研究了Petri网理论及其在电信系统中的应用.内容包括:1.通过在ω符号中加入增减信息改进了标识网覆盖树的构造方法,提出了一种新型的覆盖树,称为改进覆盖树.这种覆盖树是有限的,可以覆盖所有的可达标识,并且每一节点含可达标识的一个集合.该文证明,这种覆盖树可以单独用于检测死锁2.提出了关于着色Petri网的五类不变量守恒变换,这五类变换分别是:嵌入,消去,替换,组合,分解.该文证明,在一定条件下,这些变换可以保留原始网不变量的支撑;3.把时序逻辑与CP-网结合起来,提出了时序着色Petri网的概念,并应用它的不变量守恒分析法解决电信系统的业务交互问题.