基于逻辑电路的Petri网化简方法
- 期刊名字:软件学报
- 文件大小:
- 论文作者:叶剑虹,宋文,孙世新
- 作者单位:电子科技大学,西华大学
- 更新时间:2022-04-07
- 下载次数:次
论文简介
已有的Petri网化简方法需将网的局部结构与化简规则作逐一的比对,步骤较为繁琐,并且所提供的方法不适合于带抑止弧的网.采用一种与传统方法不同的化简思路,首先将网划分为若干个最大无圈子网,将每个最大无圈子网表达为若干个逻辑式.用逻辑代数来完成逻辑式的化简,最后将其结果还原为Petri网回嵌到原网中,完成整个网的化简.给出了寻找最大无圈子网、最大无圈子网的化简算法以及相关的证明.该方法将化简范围扩展到了带抑止弧的无回路的网或网的局部.
论文截图
上一条:9杆巴氏桁架的位移分析
下一条:基于统计方法的普通话情感语调模型
版权:如无特殊注明,文章转载自网络,侵权请联系cnmhg168#163.com删除!文件均为网友上传,仅供研究和学习使用,务必24小时内删除。
热门推荐
-
C4烯烃制丙烯催化剂 2022-04-07
-
煤基聚乙醇酸技术进展 2022-04-07
-
生物质能的应用工程 2022-04-07
-
我国甲醇工业现状 2022-04-07
-
JB/T 11699-2013 高处作业吊篮安装、拆卸、使用技术规程 2022-04-07
-
石油化工设备腐蚀与防护参考书十本免费下载,绝版珍藏 2022-04-07
-
四喷嘴水煤浆气化炉工业应用情况简介 2022-04-07
-
Lurgi和ICI低压甲醇合成工艺比较 2022-04-07
-
甲醇制芳烃研究进展 2022-04-07
-
精甲醇及MTO级甲醇精馏工艺技术进展 2022-04-07