着色网相关论文
为了便于系统分析与综合,人们通常需要对物理系统进行一定层次的简化及抽象,并在此基础上建立相应的数学模型。离散事件系统是人们......
本文对基于CPN的多级安全工作流MLS_CPN无法完全表达控制流依赖的弊端，提出采用系统约束的手段对工作流过程定义进行丰富完善，并给出......
基于过程的服务合成实现企业内部与企业之间的业务流程的整合正成为目前的研究热点。独立的服务被称作组件服务，合成服务被表示......
现有的拆卸Petri网模型用于维修拆卸序列规划时,存在约束关系描述不准确、网系统模型结构复杂等不足.文中根据飞机机载设备维修拆......
会话以及与之相关的会话协议的概念,作为用来刻画Agent之间交互的抽象机制已经研究多年。然而对这些抽象的形式化规范还没有达成共......
基于实际业务流程建模中成本预算分析的需要,在着色网的基础上扩展了价格信息,提出了价格着色网。讨论了价格着色网的变迁规则,并......
Petri网是一个很好地描述与分析并行系统的模型。但在实际应用中,如果系统过大或较复杂时,会遇到结点数过多的问题。介绍了着色网......
