【摘 要】
：
为了分析和计算Petri网模型的陷阱和极小信标,同时实现符号化快速求解,提出了基于二叉决策图（BDD）获取模型的陷阱和优化已有的求解极小信标的方法,主要对原有方法缩减计算步骤
【基金项目】
：
国家自然科学基金资助项目（61203173）
论文部分内容阅读
为了分析和计算Petri网模型的陷阱和极小信标,同时实现符号化快速求解,提出了基于二叉决策图（BDD）获取模型的陷阱和优化已有的求解极小信标的方法,主要对原有方法缩减计算步骤并进行优化。通过引入BDD布尔计算方式,可快速求解较大规模Petri网模型的陷阱和极小信标。依据布尔函数给出了相应的符号化表述,并结合实例使用提出的方法进行求解,求得并分析相关结果。分析表明,极小信标求解方法的优化具有显著的时间优势,使用BDD符号化计算方式可以快速求出Petri网模型的陷阱和极小信标,甚至对规模更大的Petri网模型
其他文献
利用DMSO和Ac2O氧化醛酮反应的方法，研究了在离子液体[Bmim]PF6中，由一级和二级醇氧化成相应的醛酮的反应。结果表明，此反应条件温和，产率高，并且不会被进一步氧化成羧酸，后处理简
以对二溴苯衍生物和甲基丁炔醇为原料，通过Sonogashira钯催化偶联反应得到的产物，在碱性条件下脱丙酮获得1，4-二乙炔基苯和标题化合物。并通过凝胶渗透色谱和核磁共振氢谱对目标
本文报告2例因服用中草药引起的格林－巴利综合征。经过临床观察和分析表明，中草药中毒作为始动因素，通过免疫障碍，可引致格林－巴利综合征的发病。提醒在临床运用中草药，特别是具有
为了更为细致地讨论非恒常量的垂向湍黏性系数对Ekman流解的影响,基于微分方程的特征值理论,简要分析了在不同垂向湍黏系数分布条件下,Ekman流解所具有的结构特征,并结合数值
患者男，52岁,主因“恶心、呕吐伴乏力3天”入院。专科检查：左甲状腺下极可触及4.0 cm×3.0 cm包块，活动度可，质韧，无压痛。实验室检查：甲状旁腺激素46 pmol/L，血钙4.42 mmol/L。
患者男,83岁,偶然发现右乳肿物1枚。查体:右侧乳腺可触及约1.0cm×1.0cm结节,触痛阳性,双侧腋下、锁骨上窝未扪及明显肿大淋巴结。乳腺超声:双乳头及乳晕后方见少量腺体
社会团结是个体化理论关心的具有理论及现实意义的重要问题之一.在乌尔里希,贝克的个体化理论中,利他个体主义是显示出团结迹象的伦理要素.有鉴于国内学界的相关讨论尚不多见