高阶Petri网相关论文
分布式对象技术是面向对象技术同分布式计算技术的结合产物.大规模的分布式对象计算系统要成为高可靠性的系统,就必须解决对象失效......
提出了一种新型Ｐｅｔｒｉ网———高阶Ｐｅｔｒｉ网，这种网可以应用于一阶谓词逻辑中的多项式子句集问题；还研究了目标转移结点Ｔ－不变量之间的关系，最后给出......
