摘要：并发和冲突在柔性制造系统中是普遍存在的,当并发和冲突混合在一起时,使人无法从系统可达图相同的终态观测到是否有冲突发生过,系统的这一特征称为混惑,存在混惑的系统不是一个好的系统,不便于对系统施加外部控制.为了解决这一问题,本文首先分析了存在混惑的柔性制造系统在结构上存在的关系,提出了基于关联矩阵的混惑结构检测方法;然后,提出基于广义互斥约束的监控器构造方法,并把设计的监控器,预先施加在每个混惑子网上,在系统运行过程中,混惑子网出现混惑导致冲突时,监控器有效,进行混惑控制.最后,通过一个柔性制造系统实例对提出的混惑检测方法及控制策略进行仿真,以验证所提方法的正确性和有效性.

摘要：银行业务库门禁系统是一种对安全要求极高的出入口控制系统,作为业务库的第一道安全防线,该系统比普通门禁拥有更多的约束条件、更复杂的流程。先对比普通门禁和业务库门禁系统,由此引出定理合理的工作流网中加入约束后仍然是合理的工作流网。然后通过工作流网对普通门禁和业务库门禁系统进行了系统模型的建立,再采用YAWL Editor工具分析了所构建系统的正确性,最后使用软硬件协同设计的方法改进并实现了业务库门禁系统。实验结果验证了定理的正确性,同时表明基于工作流网的方法有效降低了门禁系统的设计难度,并在具体实现之前确保了设计的正确性,提高了系统的开发效率。