【摘 要】
：
S3PR网是Petri网的一个子类,基于组合学提出一种计算S3PR网可达标识数的代数方法.首先,通过组合学计算S3PR网可达标识数的上限。然后,基于资源回路理论,计算包含2个以及3个资
【基金项目】
：
陕西省自然科学基础研究计划资助项目（2015JQ6258）
论文部分内容阅读
S3PR网是Petri网的一个子类,基于组合学提出一种计算S3PR网可达标识数的代数方法.首先,通过组合学计算S3PR网可达标识数的上限。然后,基于资源回路理论,计算包含2个以及3个资源库所的信标,进而找到大部分甚至全部不可达标识的数量.最后,由可达标识数上限减去不可达标识,得到估算的可达标识数.该方法的性能通过例子计算与分析进行了验证.结果显示该方法可以在较短时间内计算出S3PR网的可达标识数,有助于可达图的生成.
其他文献
目的探讨特殊性感染患者围术期的安全问题。方法回顾分析南阳市卧龙区第一人民医院自1998年2月至2008年2月112例特殊性感染患者围术期的处理。结果所有患者均无院内感染发生
2010年8月至2011年10月,笔者用针刺结合康复训练治疗偏瘫30例取得较好疗效,报道如下. 1 临床资料 30例中,男12例,女18例;年龄最小46岁,最大80岁;病程最短7天,最长5年.轻瘫
针对卫星轨道预测中的不可微、函数性质复杂、高维度传统优化算法失效的问题,提出了基于差分进化算法的卫星轨道预测方法.通过建立不同运动轨迹的卫星运动模型,构建最小化目
根据船舶静力学原理，编制船舶气囊下水静水力计算程序，进行19200DWT散货船的气囊下水计算；采用非线性有限元程序，进行该船气囊变形和总纵弯矩计算，验证了自编程序的正确性；采用有限
Pro／E因为其强大的造型功能及优秀的二次开发体系，在机械行业厦相关领域应用广泛．本文以直齿圆柱齿轮为例，深入分析了三维参数化设计的原理及基于Pro／Toolkit的Pro／E参数化二次开发
示范教学作为一种常见的美术课堂教学方式,能够激发学生的美术学习兴趣,让学生充分发挥想象力、创造力,绘制出具有个人特色的美术作品。文章分析美术课堂示范教学的特点、作
为解决空气源热水器中恒温控制器在温度数据交换方面存在的不稳定、不可靠的缺点,设计了一种基于MAX485芯片的数据传输系统.硬件电路采用MAX485与单片机组成的双机连接方式,
曾升平主任医师是四川省名老中医，四川省中西医结合学会风湿免疫病专业委员会主任委员。笔者跟随导师曾升平临证治疗类风湿关节炎取得良好效果，现举例介绍如下。
古文理论和古文批评作为中国文学批评重要的组成部分,具有着独特的话语体系和鲜明的民族时代特色,极富研究意义和价值。清代散文领域极富影响力的桐城派在这方面取得了极大成