【摘 要】
：
Petri网被广泛用于建模和分析并行系统,但由于缺少层次结构,使之在实际应用中会遇到因结点数过多而产生状态空间爆炸的问题.针对上述问题,采用自顶向下的方式,运用子网对Petr
【机 构】
：
云南大学软件学院,昆明,650091云南大学软件学院,昆明650091;云南大学云南省软件工程重点实验室,昆明650091;
论文部分内容阅读
Petri网被广泛用于建模和分析并行系统,但由于缺少层次结构,使之在实际应用中会遇到因结点数过多而产生状态空间爆炸的问题.针对上述问题,采用自顶向下的方式,运用子网对Petri网中的变迁进行细化操作,建立了整个系统模型的层次结构.其次,讨论了子网在细化变迁过程中容易出现细化前后状态不一致问题.为此,通过对子网结构的限制,提出了具有良好结构的子网,并证明该类子网在细化操作过程中保持了状态一致性.最后,给出子网判定算法并将上述思想在实际例子中进行应用及在开源工具中实现.
其他文献
分析了多种负载均衡算法的优缺点及其适用场景,提出一种改进的周期自适应动态负载均衡算法.该算法将反馈负载信息的周期长度与网络中请求数量相关联,即当请求数量增多时,各服
暖通空调可为人们带来舒适的生活环境与体验,但能能耗比较大.在工程实践中,应加强节能减排设计,以达到节能降耗的目的.本文主要分析了节能设计的意义,并着重探讨了节能减排在
采用PCR*.RFLPs方法，分析了88头大白母猪ESR、PRLR二个基因位点的多态性及其与产仔性能、仔猪生长性能、乳头数的相关性。结果表明：二个位点在大白母猪中存在多态性；该试验中，PRL
根据燃气管道泄露事故的原因和特点,通过对现有泄漏检测定位技术优劣势的介绍,分析了燃气管道泄漏检测定位技术的发展方向.
针对复杂嵌入式系统,提出了基于POOSL的系统级建模方法,包括层次化建模方法、面向对象建模技术和基于Y-Chart的资源建模方法。为了验证这些方法的正确性和有效性,以无线接入系统为例,使用POOSL语言建立了它的系统级模型,根据模型的仿真执行结果,分析了活跃站点数和最小竞争窗口等参数对有效吞吐量、平均延时及CPU利用率等性能指标的影响。仿真结果表明,所提系统级建模方法能有效地应用于复杂嵌入式系统的
介绍华为公司的领先技术塑造领先产品品牌,在自主研发的基础上开放国内外技术合作,以加强国际合作带动企业管理与国际接轨,通过快速响应市场变化和客户需求实现与客户一起双
人人都问阳澄湖,谁识美味出高邮.碧波万亩入蟹塘,绿草千顷八月香这是笔者8月底与江苏扬州王鲜记水产董事长王俊交流后即兴写下的几句话.提起王鲜记和王俊、张玉鸾(农业圈里都
城市轨道施工,成功的关键在于深基坑施工.本文结合厦门地铁中山公园站,详细介绍大盘锯施工方法在石质深基坑开挖中的应用,包含了轨道铺设、设备组装、石方切割、石方破碎等工