一类Petri网可达标识数的有效计算方法

• 作者: 周健 洪良
• 来源期刊: 西安工程大学学报
• 关键词: 柔性制造系统 Petri网 信标 可达标识
• 年，卷（期）: 2015,（5）
• 所属期刊栏目: 电子信息
• 页码范围: 606-610,629
• 页数: 6页
• 分类号: TP13
• 语种: 中文
• DOI: 10.13338/j.issn.1674-649x.2015.05.016

摘要

S3 PR网是Petri网的一个子类,基于组合学提出一种计算S3PR网可达标识数的代数方法.首先,通过组合学计算S3 PR网可达标识数的上限.然后,基于资源回路理论,计算包含2个以及3个资源库所的信标,进而找到大部分甚至全部不可达标识的数量.最后,由可达标识数上限减去不可达标识,得到估算的可达标识数.该方法的性能通过例子计算与分析进行了验证.结果显示该方法可以在较短时间内计算出S3 PR网的可达标识数,有助于可达图的生成.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周健	西安工程大学电子信息学院	7	13	2.0	3.0
2	洪良	西安工程大学电子信息学院	16	82	5.0	8.0