论文部分内容阅读
讨论了Petri网可达树的构造方法,给出了相应的算法和实现技术,对基于Petri网可达树的并发系统的动态性能分析具有一定的参考价值.
Petri网可达树的构造与实现
【摘 要】
：
讨论了Petri网可达树的构造方法,给出了相应的算法和实现技术,对基于Petri网可达树的并发系统的动态性能分析具有一定的参考价值.
【机 构】
：
广西工学院计算机工程系
【出 处】
：
广西工学院学报
【发表日期】
：
2003年1期
【基金项目】
：
广西科技厅科研项目
其他文献
目的 研究白花败酱草乙醇提取物对小鼠抗氧化作用的影响。方法 取昆明种小鼠32只,随机分为生理盐水组,5.0、10.0、20.0 mg/kg白花败酱草乙醇提取物组。连续给药10 d,次日小鼠
制造业信息化的快速发展,迫切需要大量的专业人才,针对目前人才培养模式的弊端,探索一种以机械专业为基础,培养适应制造业信息化发展需求的专业人才的培养模式。
研究性学习是一种新的教育方式,在我国的教学运用还处于探索、尝试阶段,特别是在日语教学的运用中。本文分析了这种产生于日本的新的教学方式的特点、作用,开展实施的具体方
<正> 据报道,1984年日本2500万中小学生中在校内死亡的就有256人,其中124人是由于在体育课和课外体育运动中心脏病突发而死亡。再加上在校外体育锻炼中的猝死者,日本一年内的
<正> 80年以来,先后有19名运动员(男12、女7人)在我们小组系统地进行了训练,(教练员陈运鹏,周明)其中有15人在12个单项中打破全国纪录和部分创造亚洲最好成绩(见表1)。在汉城
目的探讨人性化护理在腹腔镜胃癌根治术围术期护理中的应用效果。方法选择2015年1~12月来我院行腹腔镜胃癌根治术的患者100例,随机分为对照组和观察组,各50例,对照组行围术期
研究了亚纯函数与其导数具有一个非零有限公共值的唯一性问题,得到了两个唯一性定理,推广了Jank andMues and Volkmann在1986年给出的一个定理.
自建州以来， 一批批开拓者、建设者进入柴达木、进入海西， 其中不乏畜牧、兽医、草原工作者。他们与当地的各民族群众心血相连，住帐篷、穿戈壁、过草原、爬雪山、钻羊群，谱写了一篇又一篇畜牧业奋斗新篇章，开拓了一个又一个畜牧战线新领域。传统的畜牧业， 成为蒙藏自治民族牧区群众赖以生存和发展的主体产业。50年代以来，海西先后成立了州牧科学所，以及州、县两级兽医站、萆原工作站和检疫站。陆续开展了优良牧草
<正> 一、高等学校创建高水平运动队的战略意义国家体委主任李梦华同志在八六年全国体委主任会议总结发言中指出:“目前在不降低省、区、市原有运动水平的前提下,积极为城市