论文部分内容阅读
本文讨论Petri网模型和函数之间的映射问题。用Petri网的运行等效完成程序的执行。为系统中每一个功能模块建立一个Petri网模型，对每个Petri网进行封装，组合所有的Petri网，完成系统的开发。最后，给出一个实例，验证了Petri网与函数之间的对应关系。
Petri网与函数的映射关系研究
【摘 要】
：
本文讨论Petri网模型和函数之间的映射问题。用Petri网的运行等效完成程序的执行。为系统中每一个功能模块建立一个Petri网模型，对每个Petri网进行封装，组合所有的Petri网，完成
【机 构】
：
东营市技术学院,山东科技大学
【出 处】
：
中小企业管理与科技
【发表日期】
：
2010年9期
【基金项目】
：
本文得到山东科技大学研究生创新基金等项目的资助.
其他文献
[目的]探讨优质护理对肿瘤病人生活质量的影响。[方法]选择住院的100例肿瘤病人作为研究对象，按照优质护理的标准对病人进行全方位的护理及出院随访，对病人入院时和出院时的生
本文围绕高层建筑结构，总结了高层建筑结构设计的特点以及提出了高层建筑结构分析和各种体系相对应的方法，为实际高层建筑结构分析与设计提供一定参考。
甘露醇遇冷容易结晶,输液时常用煮沸法来进行溶解,溶解时易使标签破损脱落,甚至瓶体破裂,另外煮沸时水中杂质附着于瓶壁上易影响透明度,给护士查对工作带来不便。
[目的]探讨不同标志在门诊输液病人中的应用。[方法]将门诊输液病人随机分为试验组和对照组,对照组病人静脉输注时不采用标志,试验组静脉输注病人根据病情、用药情况给予不同
[目的]探讨放疗科护士分层级使用管理的方法与效果。[方法]制定护士分层级使用管理制度、放疗科绩效考核制度、各层级护士的资质和能力要求、各层级护士的岗位职责和工作流程
[目的]比较两种气管内套管清洁及消毒方法的效果。[方法]将200例次使用气管内套管病人随机分为观察组和对照组,观察组采用内套管煮沸清洁消毒,对照组采用3%过氧化氢和2%戊二
在Web应用程序设计中，提升数据库的响应性能是改善应用性能的关键。基于JDBC的Web数据库应用中，使用JDBC的优化技术，改善数据模型，可提高Web应用程序的响应性能。
[目的]探讨经外周静脉置入中心静脉导管（PICC）在自发性蛛网膜下隙出血病人中的应用。[方法]将70例自发性蛛网膜下隙出血病人随机分为观察组和对照组,每组35例,观察组采用PICC穿