【摘 要】
：
Petri网是对系统进行模拟与分析的有效工具.公平性是Petri网的重要性质之一,体现了系统中变迁在运行时紧密的相互依赖关系.然而在许多情况下,这种依赖关系是单向的,这些变迁
【机 构】
：
上海交通大学计算机系山东科技大学计算机系;
论文部分内容阅读
Petri网是对系统进行模拟与分析的有效工具.公平性是Petri网的重要性质之一,体现了系统中变迁在运行时紧密的相互依赖关系.然而在许多情况下,这种依赖关系是单向的,这些变迁也不处于公平关系.因此,在对一些实际系统进行模拟和分析时,清楚各个环节之间的相互依赖关系十分重要.通过对依赖关系的分析,我们可以清楚决定各个环节运行的条件,也可以找出系统中最为关键的节点,从而解决系统瓶颈等问题.为此,本文提出并研究了公平依赖关系,它把公平关系往前推进了一步.rn
其他文献
目的:分析研究小儿水痘采取西咪替丁结合阿昔洛韦治疗的临床效果。方法:选取2007年3月-2013年1月在我院接受的患有水痘的患儿90例,随机分为观察组和对照组。观察组采取西咪替
随着患者自我保护意识不断增强,护理人员稍不留意或违反操作规程,就会引起患者的不满,造成护患纠纷.多年临床经验告诉我们,只有认清护患关系冲突的原因,加强法律观念,规范自
目的：对临床护理路径在慢性支气管炎患者中的临床价值进行研究分析。方法：从我院慢性支气管炎患者中选取64例作为研究对象，将其临床资料进行回顾分析。结果：治疗组患者治疗依从性
目的：探讨中西医结合治疗分泌型中耳炎的临床疗效。方法：选取我院近2年收治的45例分泌性中耳炎患者作为研究对象，随机分为中西医组（n=23）和西医组（n=22），西医组应用西药进行治疗，中西
2011年7月20日,“中国二维码技术研发应用(南通)基地”在南通市经济技术开发区正式揭牌.同时,中国自动识别技术协会还与南通市家纺协会签订了二维码项目合作协议,旨在通过家
目的：探讨苯磺酸氨氯地平治疗老年性高血压的临床疗效。方法：选取我院收治的老年性高血压患者120例，随机分为对照组和治疗组，对照组给予硝苯地平治疗，治疗组给予苯磺酸氨氯地平治
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
目的：探究对急性脑梗死患者应用阿替普酶进行治疗的临床效果及不良反应事件发生率。方法：本次研究纳入对象主要为大连市三院在2011-2013年间收治的急性脑梗死患者，随机抽取100例
2012年11月初,受上月短期冲高后回落的影响,天然橡胶价格略有下跌。随后,国内外宏观面利好消息增多,比如青岛保税区天然橡胶库存处于历史高位;合成橡胶产量持续增加对天然橡