%0 Journal Article
%T 基于逻辑电路的petri网化简方法
%A 叶剑虹？
%A 宋文？
%A 孙世新？
%J 软件学报
%P 1553-1562
%D 2007
%X 已有的petri网化简方法需将网的局部结构与化简规则作逐一的比对,步骤较为繁琐,并且所提供的方法不适合于带抑止弧的网.采用一种与传统方法不同的化简思路,首先将网划分为若干个最大无圈子网,将每个最大无圈子网表达为若干个逻辑式.用逻辑代数来完成逻辑式的化简,最后将其结果还原为petri网回嵌到原网中,完成整个网的化简.给出了寻找最大无圈子网、最大无圈子网的化简算法以及相关的证明.该方法将化简范围扩展到了带抑止弧的无回路的网或网的局部.
%K petri网
%K 化简
%K 逻辑代数
%K 最大无圈子网
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20070701&flag=1