共查询到19条相似文献,搜索用时 80 毫秒
1.
Petri网的依赖关系 总被引:1,自引:0,他引:1
为了分析变迁不处于公平关系或弱公平关系时在运行中的依赖关系,本文提出了公平依赖和弱公平依赖的概念。研究了伪可重复向量的性质及在判断公平依赖关系时起的作用。给出了判断变迁处于公平依赖关系和弱公平依赖关系的充分必要条件。 相似文献
2.
3.
Pstri网的公平依赖关系 总被引:5,自引:1,他引:4
Petri网是对系统进行模拟与分析的有效工具。公平性是Petri网的重要性质之一,体现了系统中变迁在运行时紧密的相互依赖关系。然而在许多情况下,这种依赖关系是单向的,这些变迁也不处于公平关系。因此,在对一些实际系统进行模拟和分析时,清楚各个环节之间的相互依赖关系十分重要。通过对依赖关系的分析,我们可以清楚决定各个环节运行的条件,也可以 相似文献
4.
本文针对用户访问Web数据库的过程进行了分析并提出改进思路,然后利用带抑止弧的扩充Petri网对改进后的访问过程进行建模。 相似文献
5.
基于Petri网的信息系统建模及性能分析 总被引:4,自引:0,他引:4
采用基于Petri网的信息系统建模技术,对一实际系统进行建模,并利用Petri网严谨的数学分析理论对所建信息系统模型的性能进行了描述和分析。 相似文献
6.
使用控制是最有希望的下一代数字资源使用保护技术,Petri网能够描述使用控制模型的分布、并发、同步等特征,是表达和研究使用控制模型的有效技术。该文定义了使用前授权过程和使用中授权过程的策略规则,采用Petri网进行了表达,分析了Petri网模型能够表达授权控制模型的使用授权策略,给出了使用控制授权模型的有色Petri网表示。 相似文献
7.
实时Petri网及其在任务可调度性分析中的应用 总被引:2,自引:0,他引:2
本文描述了一种实时任务可调度性分析工具-实时Petri网,给出了由数据流图向实时Petri网转化的方法,介绍了应用实时Petri网进行可调度性分析折步骤,最后讨论了不可调度的情形和处理方法。 相似文献
8.
9.
本文介绍一种随机Petri网及其在性能分析中的应用,这种网的可达图同构于马尔柯夫链,从而可依据马氏理论求解一些性能指标。 相似文献
10.
Petri网及ExSpect在任务可靠性仿真中的应用 总被引:1,自引:0,他引:1
任务可靠性的仿真方法有多种,这些方法由于系统的复杂性均存在某些方面的局限。本文首先介绍了任务可靠性的基本概念和一种新的用于任务可靠性仿真的方法-基本Petri网理论。并详细分析和比较了Petri网理论与其他仿真方法的优点和不足之处。随后介绍以Petri网理论为基础的仿真软件-ExSpect的发展、组成及其语言特点。最后,列举当前已成功应用的五个仿真实例来验证ExSpect仿真软件在任务可靠性仿真方面的适用性。 相似文献
11.
《IEEE transactions on pattern analysis and machine intelligence》1987,(12):1297-1310
We have developed a Generalized Timed Petri Net (GTPN) model for evaluating the performance of computer systems. Our model is a generalization of the TPN model proposed by Zuberek [1] and extended by Razouk and Phelps [2]. In this paper, we define the GTPN model and present how performance estimates are obtained from the GTPN. We demonstrate the use of our automated GTPN analysis techniques on the dining philosophers example. This example violates restrictions made in the earlier TPN models. Finally, we compare the GTPN to the stochastic Petri net (SPN) models. We show that the GTPN model has capabilities for modeling and analyzing parallel systems lacking in existing SPN models. The GTPN provides an efficient, easily used method of obtaining accurate performance estimates for models of computer systems which include both deterministic and geometric holding times. 相似文献
12.
基于着色时间Petri网的工作流模型及其性能分析 总被引:2,自引:0,他引:2
为了将着色时间Petri网的并行式工作流模型应用于产品数据管理系统,在工作流建模阶段对工作流的静态和动态结构性能加以分析.采用活动扫描法作为工作流系统行为的仿真策略,研究了工作流模型到着色时间工作流网模型的转换过程.给出了用可达图检验工作流程中是否存在死锁和陷阱的判定定理.以一种循环组件的或分支跳出并行流程的审批工作流为例,对论述的定理和方法进行了分析和验证. 相似文献
13.
一种基于时间Petri网的工作流模型 总被引:20,自引:2,他引:20
面向任务流和资源流并行的业务过程,讨论了一类如何通过资源流控制任务流的工作流建模问题.在时间Petri网的基础上提出了一种称作资源/任务网(R/T-net)的工作流概念模型,并给出了基于R/T-net的工作流建模过程.设置在任务模型中的资源依赖和资源期望可以有效地实现资源流对任务流的控制,而其中的资源点火规则和资源路由规则可以灵活地实现资源的协调、同步、分配和传递,因此,比仅用时间属性刻画任务转移的时间Petri网模型更符合诸如办公、制造、物流运输等业务过程. 相似文献
14.
随着交通信息网格系统的推广应用,系统用户越来越多,原有系统配置已不能满足实际用户需求。本文建立了交通信息网格系统提供的主要服务-点播服务处理过程的时间颜色Petri网模型,通过模拟增加用户量和点播处理进程数,分析点播请求响应时间的变化,为系统配置扩容提供了有益的参考。 相似文献
15.
16.
一种新型Petri Net:双层变迁定时Petri Net 总被引:7,自引:2,他引:5
嵌入式系统的设计尤其是复杂嵌入式系统的设计,需要对系统的稳定性、可靠性等进行分析,进而对系统进行设计优化。这首先需要对系统建立适当的模型进行仿真分析,该文在深入分析现有Petri Net的基础上,构建了一种适合于嵌入式系统建模的新型Petri Net。 相似文献
17.
18.
张广胜 《计算机工程与应用》2003,39(30):158-161
形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入,针对这一现状,该文提出用时延Petri网来表示和分析密码协议。该模型不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估。作为实例,文章对MSR无线协议作了详细的形式分析和性能评估。最后,与其它形式化分析密码协议的方法作了比较。 相似文献
19.
该文对双层变迁定时PetriNet进行了抽象化,抽象化的双层变迁定时PetriNet可用于嵌入式系统设计过程的中间态模拟。 相似文献