论文部分内容阅读
petri网这种转移模型很好地描述了并发系统的静态与动态行为.本文介绍一种新的树结构模型能够直观地表示并发系统的动态特性,可以对 petri 网进行分析和验证.
并发系统的模型与验证
【摘 要】
：
petri网这种转移模型很好地描述了并发系统的静态与动态行为.本文介绍一种新的树结构模型能够直观地表示并发系统的动态特性,可以对 petri 网进行分析和验证.
【机 构】
：
兰州大学计算机科学系,兰州大学计算机科学系兰州730000,兰州730000
【出 处】
：
兰州大学学报：自然科学版
【发表日期】
：
1992年1期
【基金项目】
：
甘肃省自然科学基金
其他文献
在新课改的大环境下,基于建构学习理论的支架式教学模式,逐渐成为促进学生自主学习、合作学习,培养学生问题意识和主动构建知识的重要渠道。为此需要教师首先通过创设教学情
运输作为物流的主要功能,为江苏物流业和江苏经济的发展起到重大作用。本文通过对近五年江苏公路与铁路货运市场份额分析、公路与铁路货运优劣势分析,指出江苏公铁联运的主要
公安机关作为维护地区稳定的主力军,在信访维稳工作中承担着重要责任。为积极应对社会风险隐患,推动基层矛盾纠纷排查化解,归纳总结了信访人的类型和基本特征,明确指出了公安
【正】 沙市市位于湖北省的中南部,江汉平原西缘,濒长江北岸,地貌类型属古代河漫滩,境内多河流和湖沼,除局部地方有起伏,地势基本平坦,海拔一般在黄海高程28米至34米之间。市
传统轨道板运输车的设计过于保守，车架结构强度有较大余量，为减轻结构自重，减少制造成本，提出一种新的优化方法。该方法采用有限元软件ANSYS和优化软件ISIGHT，首先通过拉丁超立方
将沈阳市旧住宅区实行物业管理的状况与国内其他特大城市进行比较，在分析沈阳市旧住宅区物业管理现状的基础上，对沈阳市旧住宅区物业管理在产权结构、配套设施、管理资金和管理
闭合性腹部损伤是小儿外科常见急症之一，多起病急，病情复杂，并发症多，诊断较为困难，易误诊误治。本院近期收治小儿闭合性腹部外伤后迟发性肝脓肿l例，现报告如下。
2007年湖边邨建筑群凭借其独特的建筑艺术价值和文化内涵被杭州市政府列入第三批历史建筑保护名单。2010年底，经杭州市市级机关事物管理局、杭州市历史建筑管理中心、杭州市园
成本控制与管理在建筑工程项目中是一项十分关键的工作,但在目前的施工过程中,施工成本管理存在着一些问题,因此必须对成本管理措施进行不断改善,从而有效控制施工成本。基于
财务管理是企业运营、发展的核心，也是决定企业收益、经济效益的主要因素。随着通用航空业的发展，财务管理能力的提升对提高通用航空企业经营效率、增加市场收益、减少成本支出