关于有界Petri网的弱进程和弱出现网

摘要：

有界Petri网Σ的满进程(N,φ)利用出现网N和网射φ将N的S切对应Σ的可达标识,从而提供研究有界Petri网的可达标识的有力工具.由于出现网中限制每一个库所的后集最多一个变迁,因此,当Σ的库所的后集有多个变迁时,网射就会出现多次重复的现象.从而使得计算过于烦杂.文中提出弱出现网并且利用弱出现网来构造有界Petri网的弱进程,文中对于弱进程证明了在满进程中起重要作用的结论,表明弱进程是满进程的有意义的推广.由于弱出现网取消库所的后集元素个数的限制,在弱进程中,消除了满进程由于上述原因而产生的重复现象,提高了计算的效率.给出的例子表明了弱出现网在计算中的简便性.

关键词：满进程;弱出现网;弱S切;弱进程

所属期刊栏目：48

分类号：TP301(计算技术、计算机技术)

资助基金：甘肃民族师范学院校长基金GSNU-YZKY-1902

在线出版日期：2021-11-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：666-668