共查询到20条相似文献,搜索用时 109 毫秒
1.
为了增强混杂Petri网模型描述能力和克服一阶混杂Petri网模型语义错误的问题,定义一种新的混杂Petri网模型——广义混杂Petri网,提出了相应的迁移使能和迁移引发语义.通过划分标识等价类提出了广义混杂Petri网连续迁移瞬时引发速率的有效求解方法和模型行为演变分析方法.给出了广义混杂Petri网模型的混杂系统建模实例,同时结合模型行为演变和线性规划实现了混杂系统的优化控制.研究结果表明,所定义的模型描述能力更强,模型语义正确合理.能够有效描述和分析混杂系统. 相似文献
2.
Bayesian网的结构学习是Bayesian网研究的难点之一.当问题中的变量较多时,通过结构学习得到的网络结构往往不具有唯一性.文中通过对Bayesian网结构等价性的研究,提出了Rudimentary结构等价性定理,并给出了该定理的证明.该等价性定理为提高结构学习的速度和优化Bayesian网的结构提供了理论依据.实验结果表明该定理具有较好的实用价值. 相似文献
3.
基于工作流网的实时协同系统模拟技术 总被引:10,自引:0,他引:10
基于Petri网和工作流的概念,提出一种实时协同系统的形式化模拟与分析技术——逻辑工作流网,逻辑工作流网是抑制弧Petri网和高级Petri网的抽象和扩展,其变迁的输入/输出受逻辑表达式的约束,它与一般工作流网相比,能够在一定程度上缓解状态空间爆炸问题,且便于系统设计人员掌握和使用,该文分析了逻辑工作流网的若干性质及组合网的性质继承问题,并以网上企业销售系统为例,说明逻辑工作流网在实时协同系统模拟分析中的应用。 相似文献
4.
基于对象Petri网的离散事件系统建模仿真环境(OPMSE) 总被引:20,自引:2,他引:18
首先论述了Petri网和高级Petri网发展状况,提出了一种高级Petri网,即对象Petri网。然后介绍了基于对象Petri网的离散事件系统建模仿真环境OPMSE。文中详细介绍了OPMSE的特点与组成,并对OPMSE的核心-对象Petri网(OPN)的语法描述进行了重点介绍。 相似文献
5.
6.
π-网的强互模拟等价 总被引:1,自引:0,他引:1
该文建立了π-网的强互模拟等价关系,对π-网的结构作了进一步的研究.π-网是一类新型的基于π-演算语义的模块化高级Petri网,是对两类并发模型Petri网和π-演算的有效结合,它的并发语义既是“真正并发”的又是“交互”的.π-网的强互模拟等价是针对π-网的交互性并发语义的,是基于π-网的标号操作语义规则,并直接用π-网作为计算单元来实现的互模拟计算,使得π-网的行为能够从动态和静态两方面得到考察.该文证明了对于任意的一个π-网N,都存在一个π-进程P,在π-网与π-演算系统等价映射Ψ下,Ψ(N)与N是强互模拟的这一重要的结论. 相似文献
7.
基于有色Petri网的资源共享多线程数据采集系统 总被引:3,自引:0,他引:3
针对一种资源共享多线程数据采集系统的模型,采用基本网系统分析其系统行为,并用有色网模拟系统,提出了资源的部分共享方案,解决了系统的资源冲突和调度问题。 相似文献
8.
针对对象化高级Petri网缺乏标识的状态空间度量,采用谓词集对各位置上的可达标识
进行完全划分,形成与加色网等价的一致性网络.原网络的语言是其任何一个一致性网络语
言的子集,因而可以用加色网来定义及分析对象化高级Petri网的各种不变量. 相似文献
9.
10.
11.
时间Petri网在经典Petri网的基础上引入了时间因素,不仅能分析逻辑层次的系统性能,还能分析时间层次的系统性能,然而包含空间因素的信息物理融合系统(cyber-physical system,CPS)的产生需要对时间Petri网进行拓展。CPS集成计算系统和物理系统,不仅能够实时感知物理环境信息,并且能够通过物理实体改变物理环境。对CPS的物理层面特点进行了深入分析,研究了CPS物理实体的属性及其位置变迁过程,提出了一种CPS物理实体的形式化建模方法。在时间Petri网的基础上引入了空间因素,构造了时空Petri网模型,使其不仅能够描述物理实体逻辑及时间层次的行为,并且能够描述物理实体位置变迁所引起的状态变化。最后以机器人控制系统为例,进一步阐述了时空Petri网模型的有效性。 相似文献
12.
基于价格随机Petri网的服务协同建模与分析 总被引:1,自引:1,他引:0
针对一个企业不仅重视系统性能,也重视系统成本的问题,提出了价格随机Petri网,用于系统的价格和性能分析。价格随机Petri网既具有随机Petri网在性能分析方面的优势,又能计算系统的成本,对系统的建立和改进具有宏观指导作用。基于价格随机Petri网对服务协同典型模型提出了等价化简方法,并进行了相应的证明,此方法在一定程度上提高了系统分析的效率。 相似文献
13.
有色Petri网在网络通信协议上的应用 总被引:3,自引:0,他引:3
自1962年C.A.Petri在其博士论文中首先提出Petri网后,Petri网理论和应用都取得了长足的进步。有色Petri网是由K.Jensen提出的一种高级网系统,可以为系统建模提供强有力的支持。文章介绍了有色Petri网,并利用仿真工具Design/CPN对一个通信协议停-等协议进行分析。 相似文献
14.
15.
基于Petri网的信息系统建模及性能分析 总被引:4,自引:0,他引:4
采用基于Petri网的信息系统建模技术,对一实际系统进行建模,并利用Petri网严谨的数学分析理论对所建信息系统模型的性能进行了描述和分析。 相似文献
16.
17.
The concept of aspect-orientation allows for modularizing crosscutting concerns as aspect modules. Aspect-orientation originally
emerged at the programming level, and has stretched over other development phases now. Among them aspect-oriented modeling
(AOM) is a hot topic, and there are many approaches supporting it. Petri net is a good formalism which can provide the foundations
for modeling software and simulating its execution, but fails to resolve the problem of crosscutting concerns to support AOM.
So, this paper presents an approach which extends the Petri net so as to support the AOM. In this paper, the basic functions
of the system are modeled as base net by Petri net, and the crosscutting concerns are modeled as aspect nets. In order to
analyze the whole system, woven mechanism is proposed to compose the aspect nets and base net together. The problems about
aspectaspect conflict and conflict relations may exist among the aspect nets matching the shared join point, thus this paper
propose solutions to resolve them. The Object Petri net which is an extension of traditional Petri net is also extended so
as to support aspect-oriented modeling here. 相似文献
18.
19.
结合业务流程再造的企业系统规划法 总被引:4,自引:1,他引:3
开发一个良好的信息系统首先需要一个好的规划,针对传统的企业系统规划法的一些缺点,提出了一种改进的方法,即结合业务流程再造的企业系统规划法。该方法利用Petri网对工作流程进行仿真再造,最终分离出业务流程中的各个企业过程,在实际应用中已经取得了理想的效果。 相似文献
20.
Deadlock avoidance problems are investigated for automated manufacturing systems with flexible routings.
Based on the Petri net models of the systems, this paper proposes, for the first time, the concept of perfect maximal resourcetransition
circuits and their saturated states. The concept facilities the development of system liveness characterization and
deadlock avoidance Petri net supervisors. Deadlock is characterized as some perfect maximal resource-transition circuits
reach their saturated states. For a large class of manufacturing systems, which do not contain center resources, the optimal
deadlock avoidance Petri net supervisors are presented. For an general manufacturing system, a method is proposed for
reducing the system Petri net model so that the reduced model does not contain center resources and, hence, has optimal
deadlock avoidance Petri net supervisor. The controlled reduced Petri net model can then be used as the liveness supervisor
of the system. 相似文献