基于模糊Petri网的离散事件动态系统的建模与优化研究

在信号处理及离散信号的相关介绍和概念讲解PPT

利用马尔科夫链的结果，在离散事件系统（DES）逻辑层次的自动机模型基础上，对DES的Markov模型的稳态和暂态特性，分别从时间参数连续和离散的情况下，分四个情况进行了分析，通过实例对系统遍历性提出了

详细介绍了基于分层着色Petri网的飞机拼修维修建模方法

BPEL(Business Process Execution Language,流程执行语言)是一种广泛应用于支撑跨组织协同的服务组合标准。分析BPEL语言构造的流程的性能提供了一种有效的制造更可靠

基于分层赋时着色Petri网，构建了一个能够准确表达资源配置、任务持续时间及信息传递的资源模型，以便有效进行建设工程项目实施阶段的资源管理和优化配置。在建设工程项目实施阶段资源特点分析的基础上，对分层

计算机联锁软件作为计算机联锁系统的核心主控软件，可靠性和安全性需建立在好的安全模型之上，提出了采用时间有色Petri网对进路建立的具体过程进行形式化建模，时间戳可以得知联锁设备的精确动作时刻以及操作持

论文研究-基于赋时有色Petri网的测试系统资源优化方法.pdf,  提出采用赋时有色Petri网(TCP-net)对测试流程进行建模,用来优化自动测试系统的资源配置.给出了测试流程TCP-net模型

&\ EHU3K \ VLFDO 6 \ VWHPV&36 LV PRVWO \ GHSOR \ HG LQ VHFXULW \ FULWLFDO DSSOLFDWLRQV ZKHUH

极大代数方法分析离散事件动态系统。有比较大的实用价值。

对离散事件动态系统的性能层次、代数层次、逻辑层次的主要建模和分析方法，做了系统的讲解。