论文部分内容阅读
混合Petri网是为了解决复杂动态系统可靠性安全性分析而提出的一种Petri网扩展模型.定义混合Petri网模型的基于结构的冲突关系,有助于深入理解混合Petri网模型的语义,对其在动态系统可靠性安全性建模与分析以及模型分析求解中的应用也具有重要意义.
HPN基于网结构的冲突关系
【摘 要】
：
混合Petri网是为了解决复杂动态系统可靠性安全性分析而提出的一种Petri网扩展模型.定义混合Petri网模型的基于结构的冲突关系,有助于深入理解混合Petri网模型的语义,对其在
【机 构】
：
国防科技大学人文与管理学院
【出 处】
：
国防科技大学学报
【发表日期】
：
2002年4期
其他文献
在当前经济增速放缓、制造业向东南亚等地区不断转移的背景下,"一带一路"重大战略的提出对作为我国传统支柱产业之一的纺织服装业发展产生了重要影响。本文通过对"一带一路"
现将最高人民法院《关于审理商标授权确权行政案件若干问题的意见》印发给你们，请认真贯彻执行。
【裁判摘要】在确定外观设计专利权的保护范围以及侵权判断时．应当以图片或者照片中的形状、图案、色彩设计要素为基本依据。在与外观设计专利产品相同或者相近种类产品上．采用
根据《中华人民共和国物权法》的规定，不动产物权应当依不动产登记簿的内容确定，不动产权属证书只是权利人享有该不动产物权的证明。行政机关注销国有土地使用证但并未注销土地
各省、自治区、直辖市高级人民法院，解放军军事法院，新疆维吾尔自治区高级人民法院生产建设兵团分院：经最高人民法院审判委员会讨论决定，现将鲁潍（福建）盐业进出口有限公司苏州分公
各省、A治区、直辖市高级人民法院，人民检察院，公安厅、局，解放军军事法院、军事检察院．新疆维吾尔自治区高级人民法院生产建设兵团分院．新疆生产建设兵团人民检察院、公安局：为解
各省、自治区、直辖市高级人民法院，解放军军事法院．新疆维吾尔自治区高级人民法院生产建设兵团分院：2008年．最高人民法院深入学习领会中央领导同志的指示精神．根据形势任务发展变