论文部分内容阅读
为克服非形式化技术描述系统规格说明带来的二义性,采用了一种形式化技术——Petri网来描述电梯系统的规格说明。Petri网技术是对离散并行系统的数学表示,适合于描述并发的计算机系统模型,可以正确的描述电梯系统。
基于Petri网的电梯系统规格说明
【摘 要】
：
为克服非形式化技术描述系统规格说明带来的二义性,采用了一种形式化技术——Petri网来描述电梯系统的规格说明。Petri网技术是对离散并行系统的数学表示,适合于描述并发的计
【机 构】
：
菏泽学院计算机与信息工程系
【出 处】
：
长春大学学报
【发表日期】
：
2011年6期
其他文献
科学的教务管理是高校教学管理工作的一个重要内容，方便、快捷、高效率地完成高校教务管理有助于提高高校的教学质量和水平。如何促进高校教务管理信息化，提升教务管理质量，更好
社会冷漠现象的频频出现反映出人们社会责任感的缺失。此类现象是否已经成为普遍问题，当代大学生的社会责任感现状如何值得关注。本文以长春大学在校生为对象，通过问卷调查的形
讨论了一类时分差分方程零解的渐近稳定性，得到了该系统零解渐近稳定的一个充分条件。
产后抑郁症是一种严重、突发、常见的产后引发的影响身体健康和心理的疾患。它的发病因素很多,其中包括三个方面的因素,即社会因素、生理心理因素和自身体质因素。此病严重时
目的 探讨基于本科生科研项目支持下指导本科生进行临床科研工作的教学效果及经验。方法 以单一临床研究问题为研究中心内容,采用临床试验设计培训结合临床实践的培训方式,以
病理学是基础医学与临床医学之间的重要桥梁学科,病理学教学不仅要给学生建立起病理学的基本概念、基本原理,还应培养学生的临床思维能力。在病理学教学中,针对不同专业、不