共查询到10条相似文献,搜索用时 156 毫秒
1.
2.
3.
基于FTCPN的工作流模型简化规则与线性推理研究 总被引:1,自引:1,他引:0
分布式协同工作流系统的建模和时间性能计算是工作流的一个重要研究内容.针对传统的Petri网不能对工作流系统的不同事件和事件的时间性能进行分析和优化的问题,给出了模糊时间着色Petri网(Fuzzy-timing colored Petri Net, FTCPN)的形式化定义,并给出了基于FTCPN的工作流网四种基本组件模型的简化规则及其线性推理.最后,以汽车车身的协同概念设计流程为例,对提出的方法进行了应用和验证.研究表明:模糊时间着色Petri网能全面描述复杂工作流系统的不确定性时间信息和不同事例的工作状态,对丰富分布式工作流系统的建模理论具有一定的参考价值. 相似文献
4.
为了更有效优化半导体制造系统生产资源调度,提出了基于分层着色时间Petri网模型的分时段优化调度方案.通过增强基本Petri网的描述能力和引入分层Petri网的思想,根据半导体制造系统的结构建立其改进Petri网模型-分层着色时间Petri网模型,并在模型中引入调度库所将调度算法嵌入到模型中,该模型能有效地克服基本Petri网模型规模膨胀的缺陷;同时将每一生产周期分成若干时间段,利用遗传算法来寻找各时间段内调度规则组合来优化半导体制造系统的动态性能,实现分时段优化调度,编码时, 根据机器组的利用率来选择部分机器组为瓶颈机器组,重点调度瓶颈机器组, 提高算法的搜索效率;仿真实验结果验证了该调度方案的优越性. 相似文献
5.
6.
《系统工程》2010,(11)
Petri网理论已成为柔性制造系统中建模与分析的主流技术之一,基于Petri网的调度优化问题已被广泛研究。本文为解决柔性制造系统的调度问题,提出了一种基于Petri网和遗传算法相结合的调度方法。首先用赋时Petri网对柔性制造系统进行建模,然后应用遗传算法对该模型进行调度并获取近似最优解。在该算法中,采用新的编码/解码机制,用Petri网模型的变迁激发序列作为染色体编码,且对群体中每个染色体对应的变迁序列不再要求其满足Petri网的可达性条件,而是通过解码部分将其转换为一个满足可达性条件的序列,从而大大简化初始化种群,以及交叉和变异操作。该方法融合了Petri网和遗传算法各自的优点,既可以处理典型的Job-Shop问题,也可以较好地解决柔性制造系统的调度问题。文中通过仿真实验证明了该方法的有效性。 相似文献
7.
8.
基于IDEF0模型的Petri网间接建模方法研究 总被引:5,自引:0,他引:5
通过对IDEF0和Petri网两种建模方法分析与对比,表明基于Petri网建模可以解决IDEF0方法在模型的动态性、完备性和方法连贯性方面存在的问题;提出IDEF0模型到Petri网模型的转换思路和基本转换方法,以一个信息管理模块为例实现模型转换,在此基础上提出了改进策略.研究结果有助于以Petri网为统一工具实现系统建模与开发,为解决当前系统开发遇到的问题提供一种新的途径. 相似文献
9.
基于P/T网结构的规则系统验证方法 总被引:1,自引:0,他引:1
规则系统是具有广泛应用价值的逻辑系统,但由于各种原因可能导致冗余、不一致、不完备和回路等错误的发生,从而影响系统的运行结果和效率.本文构造了基于Horn子句的规则系统的P/T网模型,给出了利用Petri网关联矩阵求解回路和路径的算法,并提供了系统错误的一组判定方法.该方法避免了原有基于Petri网可达性方法检测系统错误可能导致的状态空间爆炸问题,充分利用网的结构信息,实现规则系统错误的分析和发现. 相似文献
10.
强制访问控制模型(MAC)是一种重要的安全模型.在多级安全的格模型和Bell-LaPadula安全模型的基础上,对MAC安全模型进行了形式化描述,并给出了与其等价的着色Petri网模型.在Petri网状态可达图的基础上,对MAC模型的有关安全属性,如主体访问客体的时序关系,主体访问的可达性,因主体的动态安全级访问而存在的安全隐患以及因主体对客体的间接访问而导致敏感信息的可推测性等进行了较为详细地分析.通过对一个安全模型的范例分析,结果表明基于Petri网的安全模型的分析方法可以充分利用现有的可达图的分析方法来对系统安全模型的有关性质进行分析和验证,能够在安全模型的设计和实现阶段有效地改善系统的总体安全策略. 相似文献