论文部分内容阅读
对于Petri网而言,冲撞代表着不安全,它是由于空间资源的缺少而引出的一种基本现象。人们寻找到避免冲撞的发生办法是为网系统添加补库所即做S-补。就Petri网系统做S-补的相关定理进行了补充性的证明及举例分析。
关于Petri网系统S-补相关定理的补充证明及其分析
【摘 要】
：
对于Petri网而言,冲撞代表着不安全,它是由于空间资源的缺少而引出的一种基本现象。人们寻找到避免冲撞的发生办法是为网系统添加补库所即做S-补。就Petri网系统做S-补的相关
【机 构】
：
长沙理工大学计算机与通信工程学院,长沙410076
【出 处】
：
第十二届全国petri网理论与应用学术年会
【发表日期】
：
2009年8期
其他文献
天理、国法、人情三者相互融合是中国传统司法的典型表现,法官审判依据的是情、礼、法相互杂糅的多元规则体系,而法官的审判过程也是运用情感的过程,反映了中国传统司法强调
目的观察围手术期护理干预对微血管减压术后低颅压综合征患者恢复情况的影响。方法选取2012年1月~2015年12月62例微血管减压术后低颅压综合征患者,将2014年1月之前的患者列为
运用ANSYS软件对一双塔楼连体结构建立了4种模型，通过对其动力特性和Y、Z向地震作用的分析，得出了结构的各种响应。分析结果表明，楼板刚度和连体连接方式对结构动力特性影响较大
为了解决中低收入者的住房问题,政府建立了住房保障体系,通过扶持或救助等制度的安排,满足这些弱势群体的居住需要。由于住房保障资源的有限性,住房保障体系需要建立完善的进
<正>衍生引力的观点认为,时空不是自始至今都存在,而是在大于普朗克(Planck)尺度(10-33cm),低于普朗克能阶(1019 GeV)或普朗克温度(TPl=1032K)的领域才呈现的;在此限定的条件
这是一篇供讨论的文章,看法未臻成熟,论点不尽允当,仅仅是对玄学重新探索的一种尝试。本文就理想与现实的辩证关系立论,指出郭象虽然极力调和名教与自然的矛盾,但并非为既成
目的探讨全身神经内分泌肿瘤(NET)的好发部位、临床症状、影像学及预后。方法回顾性分析南方医院2001年1月至2012年4月222例NET患者的病历资料。结果 222例NET患者中,152例(6