×

Petri网简化技术的动态特征研究。 (中文。英文摘要) Zbl 1251.68165号

摘要:对于大型复杂的Petri网,阻碍技术发展的主要问题总是“节点过多导致站点爆炸”。因此,如何有效地简化Petri网一直是一个研究热点,将其简化为多个子网是一种非常有效的方法。利用在位置集上定义索引函数的Petri网分解方法,给出了Petri网的分解定义,并提出了相关算法。在上述研究的基础上,我们相应地研究了子网的特殊性质,为分析复杂系统的Petri网提供了一种有效的方法。

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部