论文部分内容阅读
多资源协同优化与动态调度是离散事件动态系统研究的一个重要方向，而Petri网以直观的图形提出一种形象的建模方法，以研究模型系统中的组织结构和动态行为目标，着眼于系统中可能发生的各种状态和状态转换间的关系，是研究多资源协同优化与动态调度问题的一个理想工具。但是，基本Petri网只能从宏观上对资源的数量分布进行描述，大部分研究都是通过添加许多新的集合或映射来增强其建模能力，而对于具备连续消息的多类资源的DEDS，传统Petri网则无法清楚的刻画。为此，我们结合具有逻辑属性的二元标识，提出二元标识多状态机复合Petri网，并用其研究多资源协同优化与动态调度问题。 (1)在基于Token离散标识多状态机复合Petri网基础上，引入具有逻辑属性的二元标识，分别提出基于二元离散标识和混杂标识多状态机复合Petri网模型。并具体研究模型的变迁使能机制、事件使能机制、Token迁移机制以及Token连续信息演化机制。 (2)在基于二元混杂Petri网模型中引入时空等连续信息，结合一般微积分方程，建立基于时间的二元混杂标识复合Petri网和基于空间的二元混杂标识复合Petri网模型，并提出基于二元混杂多状态机复合Petri网的最优事件的调度规则。 (3)利用以上所提出的Petri网模型并对举出一个柔性制造例子进行协同优化与动态调度，以验证基于时间属性的二元混杂标识复合Petri网的正确性和有效性。然后以罩式退火过程生产调度为例，先在没有资源冲突的特殊条件下，对罩式退火过程进行调度。然后结合实际，针对具有资源冲突的罩式退火过程，在等待时间最少的条件的约束下，从时间和空间位置上对其进行协同优化，结果表明，可以得到满意解。从而证明基于二元混杂标识多状态机复合Petri网，可以有效地解决多资源系统的建模、分析和协同调度问题，为今后研究多资源协同优化与动态调度提供了一个新的途径。