Coll. of Comput. Sci. Software Eng., Shenzhen Univ., Shenzhen, China;
Business; Color; Educational institutions; Image color analysis; Maintenance engineering; Petri nets; Unified modeling language; Colored Petri Net; Location Constraints; Workflow;
机译:使用彩色Petri网建模和分析职责分离的工作流
机译:使用彩色Petri网建模和分析职责分离的工作流
机译:有时间限制的彩色Petri网用于工作流描述
机译:使用彩色Petri网对UML类图进行形式化
机译:PNetTFV : 有色 Petri网 基于网络 在线固件 功能验证 计划 和实施
机译:使用彩色Petri网的基于工作流的Web服务组合的QoS度量
机译:使用彩色Petri网的UML复合结构的形式化
机译:利用语义网络对数据库进行检索,并检索广义随机有色petri网