着色网相关论文
为了便于系统分析与综合,人们通常需要对物理系统进行一定层次的简化及抽象,并在此基础上建立相应的数学模型。离散事件系统是人们......
本文对基于CPN的多级安全工作流MLS_CPN无法完全表达控制流依赖的弊端,提出采用系统约束的手段对工作流过程定义进行丰富完善,并给出......
基于过程的服务合成实现企业内部与企业之间的业务流程的整合正成为目前的研究热点。独立的服务被称作组件服务,合成服务被表示......
该文介绍一种基于AIP单元的用户界面模型和扩充着色网的对话规范,并讨论其作为事件驱动用户界面模型所具有的特性。首先概述基于AIP单元的......
核级部件的设计必须满足相关工程规范标准的要求和规定,规范标准具有复杂的知识体系,使得如何表示工程规范标准的知识成为实现核级......
现有的拆卸Petri网模型用于维修拆卸序列规划时,存在约束关系描述不准确、网系统模型结构复杂等不足.文中根据飞机机载设备维修拆......
本文证明了任意一个着色网都可以转换成与其等价的基本网,并给出了这种等价转换的算法。为利用基本网的分析技术分析着色网的性能提......
会话以及与之相关的会话协议的概念,作为用来刻画Agent之间交互的抽象机制已经研究多年。然而对这些抽象的形式化规范还没有达成共......
基于实际业务流程建模中成本预算分析的需要,在着色网的基础上扩展了价格信息,提出了价格着色网。讨论了价格着色网的变迁规则,并......