论文部分内容阅读
为了分析基本混杂Petri网模型行为，提出了基本混杂Petri网各迁移间的冲突判定定理，讨论了消解策略，并给出了基于冲突判定和消解的基本混杂Petri网模型行为分析算法。理论分析证明了所提出定理的正确性，实例分析和比较说明了所提出算法的有效性。
基于冲突判定的混杂Petri网模型行为分析
【摘 要】
：
为了分析基本混杂Petri网模型行为，提出了基本混杂Petri网各迁移间的冲突判定定理，讨论了消解策略，并给出了基于冲突判定和消解的基本混杂Petri网模型行为分析算法。理论分析证
【机 构】
：
广西师范学院计算机与信息工程学院
【出 处】
：
广西师范学院学报：自然科学版
【发表日期】
：
2011年3期
【基金项目】
：
基金项目：国家自然科学基金项目（60864001）,广西自然科学基金资助项目（0991105）,广西教育厅科研项目（200807MSll3）
其他文献
随着微电网工程的推广应用,多个地域邻近的单微电网因某种需求而互联形成多微网系统。由于多微网系统拓扑结构复杂,具有多种运行模式,如何实现多微网系统在多种运行模式下灵
目的 ：探讨户外拓展运动对大学生手机依赖症干预效果。方法 ：将筛选后80名被试随机均分成实验组和对照组,实验组实施为期8周的户外拓展运动干预,对照组不做任何干预,并于实验前
目的探究葡萄糖氧化酶（GO）引起的氧化应激对α4β2烟碱型乙酰胆碱受体（nAChR）电流的影响。方法在HEK293T细胞共转染甜和解质粒48h后进行实验。分为对照组（control组）、3．5kU／L的GO处
针对铁路货运组织改革以来杭州货运中心开行铁路集装箱特需班列过程中管理、作业等方面存在的问题,结合铁路集装箱专业管理特点和铁路集装箱安全关键风险卡控要求,从完善集装
目的探讨肝细胞生长因子（HGF）及其受体c-Met对大鼠骨髓内皮祖细胞（EPCs）迁移能力的影响及其机制。方法提取、培养和鉴定大鼠骨髓EPCs;重组腺病毒载体介导c-Met基因转染EPCs,用rea
目的研究决明子提取物(SCE)对糖尿病大鼠心肌缺血/再灌注(MI/R)损伤的影响。方法构建高脂饲料-链脲霉素诱导的2型糖尿病大鼠模型(HFD-STZ),大鼠随机分为对照组(Con)、SCE处理
目的 采用生物信息学手段对男女肥胖患者与正常人群的差异基因进行分析,研究肥胖个体脂肪细胞基因表达在性别上的差异.方法 从公共数据库基因表达数据库（Gene Expression Omni
[目的]为客观评价龙井茶的劣变提供依据。[方法]选择了几种典型具有代表性的包装材料进行了茶叶贮藏试验,采用多元线性回归研究了主要生化成分(含水量、茶多酚、氨基酸、水溶