【摘 要】
：
在Petri网模拟工具Renew的基础上,设计和实现了相应的元对象协议,从四个方面大大增加了Renew的建模能力:简化基级网模型;获取基级网运行信息;动态改变基级网结构以及控制基极网的运行。文章最后以银行家算法的建模作为例子,说明如何用元对象协议控制基极网的运行,以避免银行家算法中的核心问题:死锁,从而验证了元对象协议的强大功能。
【机 构】
：
清华大学计算机科学与技术系,北京 100084
论文部分内容阅读
在Petri网模拟工具Renew的基础上,设计和实现了相应的元对象协议,从四个方面大大增加了Renew的建模能力:简化基级网模型;获取基级网运行信息;动态改变基级网结构以及控制基极网的运行。文章最后以银行家算法的建模作为例子,说明如何用元对象协议控制基极网的运行,以避免银行家算法中的核心问题:死锁,从而验证了元对象协议的强大功能。
其他文献
统一威胁管理设备UTM是近年来网络安全领域涌现出的一个新的综合性平台,它融合了防火墙、入侵检测、病毒扫描等安全功能。其中防火墙模块一般实现在多核网络处理器平台上,负
为了增强传统Petri网的建模能力,将随机时间与库所关联,提出了SPPN(Stochastic Places Petri Net-随机库所Petri网),并基于SPPN分析了任务间的关系。对网上企业销售系统,采取从单个组织到组织合成的方法,应用SPPN和逻辑Petri网进行建模,并给出了逻辑工作流网模型的可达图的构造算法,分析了模型的正确性。
市政工程项目由于与城市发展和民众工作、生活息息相关，一般都比较受城市居民关注，因此对其工程质量和建设标准要求较高，在市政工程施工中，混凝土施工是很关键的一步，它关系到市政
在分析应急空间系统体系结构概念与运作过程的基础上,建立了应急空间系统体系结构的赋时CPN模型,并描述了模型的组成要素;运用CPNTools的状态空间分析工具分析了应急空间系统体系结构模型的逻辑性,验证了模型的合理性;运用CPNTools对模型进行了多次仿真,依据多次仿真数据并结合gnuplot软件分析了应急空间系统体系结构的性能。
UML是软件工程中一种最常用的建模方法。由于UML是半形式化的,许多人致力于将UML转换成形式化方法(如Petri网)的研究。转换之后,对于定性的非功能参数的确认和验证就会更方便。鉴于现实世界中大部分信息的不确定性,系统分析师们提出了模糊UML的概念。尝试将模糊UML活动图转换成Petri网,从而能实现形式化验证以及性能评估。
提出了一种基于Petri网分析Web服务组合可靠性的方法。探讨了可靠性数据的采集方法,通过将BPEL描述的Web服务组合流程转换为WS_RPN,根据WS_RPN的执行路径分析Web服务组合流程的可靠性。最后通过一个实例说明了该方法的可行性。
近些年环保风气的兴起使得节能节水技术在建筑给排水工程中的应用越来越广泛，这项技术的应用可以有效缓解建筑行业的水资源浪费情况，同时有助于加速建筑行业的发展。本文从了解
将大数据技术应用于内业资料管理中主要依靠提取和筛选的有价值的数据，促进企业开展正确的决策，促进各项事业协调发展，为社会的多种经济活动提供需要的依据和参考信息。大数据技
建筑行业的蓬勃发展背景下，建筑结构也在不断创新，钢结构工程的施工已经愈来愈受到人们的青睐。与传统的混凝土技术相比，钢结构应用在建筑工程中可以展现良好的施工效率，同时还大
基于构件的软件工程目标是对已有软件构件的重用。实际上,大部分构件不能直接集成到应用中,因为构成系统的多个构件之间的行为往往是不兼容的。在将可重用构件部署到新系统之前,有必要先检查构件接口行为的兼容性并进行适配,使不同构件之间能够正常交互。提出一种基于Petri网的构件行为的适配算法,该方法用接口Petri网描述构件的接口行为,以用例为单位,利用同步向量检查构件接口交互行为的兼容性,建立基于Petr