【摘 要】
：
层次颜色Petri网是一类具有模型描述语言Standard ML、分层功能和图形化描述特性的高级Petri网,拥有仿真工具CPN Tools,是信息系统建模的有效工具,可方便描述信息系统中的控
【机 构】
：
安徽电子信息职业技术学院信息与智能工程系
【基金项目】
：
安徽省2018年度高校学科(专业)拔尖人才学术资助项目(gxbjZD85),安徽省2017年高等学校省级质量工程项目——物联网应用技术专业团队(2017jxtd104)
论文部分内容阅读
层次颜色Petri网是一类具有模型描述语言Standard ML、分层功能和图形化描述特性的高级Petri网,拥有仿真工具CPN Tools,是信息系统建模的有效工具,可方便描述信息系统中的控制流、数据流,全面刻画系统业务流程。在给出HCPN一种形式定义基础上,结合智慧校园中的校园一卡通Web信息系统,利用CPN Tools分层构建了该系统的HCPN模型,并对各子CPN系统进行图形化描述、协同运行仿真和分析,运用状态空间工具分析和验证了系统HCPN模型的正确性、可靠性和健壮性。
其他文献
溃疡性结肠炎属中医泄泻、腹痛范畴，多为脾不健运，运化失司，乃至脾虚湿盛，脾肾阳虚致使枢机不利．最终导致肠鸣腹胀，泄下粘液脓血。中老年人多因脾肾功能渐衰，而易发生本病。
北元时期,察哈尔部是蒙古大汗驻帐的中央部落。后金兴起,想要站稳脚根,拓疆扩土,就要扫除察哈尔部这个障碍。为此,后金当权者采取了"以蒙治蒙,联蒙抗蒙"的策略,最终战胜察哈
幼儿园区域活动关系到幼儿健康成长，因此对于教师引导行为做出更进一步的思考探索任道重远本文主要针对幼儿园区域教师引导行为做出分析阐述，始终以“教师该怎么做”这一条思路
目的：建立小皮伞菌中多糖含量测定方法。方法：采用3,5-二硝基水杨酸法（简称DNS法）对安络小皮伞菌多糖进行含量测定。结果：经DNS试剂显色后于500nm处测定吸光度,在此波长处溶液的吸
【摘 要】德育工作的开展对教育素质的发展影响十分严重，如何在初中教学管理工作中开展好德育工作，是很多学校需要解决的重要问题。本文根据以往工作经验，对现阶段初中德育管理工作中存在的问题进行总结，并从对德育管理工作的重要性进行明确、创造良好的德育工作环境、对德育工作的内容和目标进行改革等四方面，论述了初中德育工作开展的对策。 【关键词】初中德育管理工作；工作环境；内容和目标 初中阶段是学生学习知识
本文从北元时期达延汗标定、驻牧于现赤峰市西拉木伦河流域一带的察哈尔万户始,简要叙述了察哈尔部的发展过程,重点讲述了康熙十四年(1675)察哈尔十二旗群形成之后的行政区划
肛肠疾病的手术治疗多为有菌手术,虽操作时注意无菌操作,但受病灶在肛管直肠处这一特定条件限制,术后创面或因排便受到污染,或原本就是化脓感染性疾病,或存在结扎部分组织致