1) colored Petri net
着色Petri网
1.
Verification of GEO-RBAC Policy Based on Colored Petri Net;
基于着色Petri网的GEO-RBAC策略验证
2.
Modeling in electronic business workflow based on colored Petri nets;
基于着色Petri网的电子商务工作流建模
3.
Design and Implementation on Graphical Workflow Modeling Tool Based on Colored Petri Net;
基于着色Petri网的图形化工作流建模工具的设计与实现
2) colored Petri nets
着色Petri网
1.
Flow Modeling and Analysis Research of Integrated Emergency Manage System (IEMS) Based on Colored Petri Nets;
基于着色Petri网的应急联动系统流程建模与分析研究
2.
The Research on Logistics System Modeling by Colored Petri Nets;
物流系统着色Petri网模型研究
3.
In light of this particular network architecture,we present an improved algorithm of slide window protocol and the use colored Petri nets to certi.
针对这种独特的网络体系结构,提出了一种基于自适应延迟确认的滑动窗口协议改进算法,并使用着色Petri网验证了该算法的正确性、完备性和可行性。
3) CPN
着色Petri网
1.
Modeling of Multi-project Scheduling for Complex Product Development Based on CPN;
基于着色Petri网的复杂产品开发多项目调度建模研究
2.
So,it is imminently and possibly to set CPN models of M/G/1 single vacation queue with exhaustive service by the simulation software — — CPN Tools.
因此,利用着色Petri网对空竭服务单重休假M/G/1型排队系统进行建模,并对主要性能指标进行仿真分析是迫切以及可行地。
3.
, comparability ,hierarchy, conflict , relevancy of technology, openness and iterativeness, puts forward that the modeling methods available don’t satisfy the request of multi-project modeling ,shows the CPN(Coloured Petri Nets) based model in detail , introduces the typical example and analysis method, and gives the result.
本文分析了复杂产品开发多项目调度的特点,即相似性、层次性、冲突性、技术关联性、开放性和迭代性,指出目前已经提出的多项目调度建模方法不能全面的体现和描述上述特点,提出了用着色Petri网建立多项目调度模型的具体思路和方法,并简要阐述了模型实例和分析方法,最后给出结论和下一步工作。
4) coloured Petri nets
着色Petri网
1.
Modeling Workflow Patterns Using Coloured Petri Nets;
用着色Petri网建模工作流模式
2.
Design and Implementation of Workflow Enactment Service Based on Coloured Petri Nets;
基于着色Petri网的工作流执行服务的设计与实现
3.
This paper introduces a Coloured Petri Nets based on workflow language and its evolution processes.
阐述了一种基于着色Petri网的工作流语言newYAWL及其系统演进,newYAWL通过对各种工作流模式的严格定义,对业务流程的控制流、数据流、资源分配提供了良好的支持。
5) coloured Petri net
着色Petri网
1.
Vertification of OSPF Protocol Based on Coloured Petri Net;
基于着色Petri网模型的OSPF协议验证
2.
This paper focuses on the method of modeling the second repair subsystem of communication equipment based on coloured Petri net.
讨论了一种基于着色Petri网理论建立通信装备第二级维修子系统模型的方法。
3.
A method to describe coordination policy is presented, which is based on the coloured Petri net (CPN).
提出了一种基于着色Petri网 (CPN)的协调策略描述方法 ,在介绍CPN基本构成的基础上 ,对计算机支持的多层次多群体协同工作系统 (CSMMCW )中的协调策略进行了建模 。
6) Scalable Colored Petri net(SCP)
可扩展着色Petri网
补充资料：Petri网
Petri网
现死锁问题是可解的;另外，Petn网所产生的语言类的性质也得到了考察.这个语言类真包含于递归可枚举语言类中，又真包括正规语言类，并同上下无关语言类部分相交.第二个方向是将1〕etri网作为信息技术、经济、数字工程等学科中的离散动力系统模型的基础. Pelri网与有限自动机(automa10n，细ite)不同，后者是用来描述系统状态的全局变化，而前者集中刻画局部事件(与转换对应)、局部条件(与位置对应)以及两者的局部连接.因此，可以以氏创网的术语对分布式异步系统给出比用自动机更适宜的模拟.【补注】作为并行计算的基本模型，氏tri网近年来得到十分广泛的研究.现在，每年有一个关于Pe川网的年会.这个会议的论文集由Sprl刀罗r出版社出版，它包含了目前热门研究的最佳展望.专著王AI]有Petri网的简要介绍;文献【31是氏州网的一本人门教科书关于Petri网在分析并发进程中的应用请参考【AZ」.【译注】几州网又称为位置/转换网〔p」ace/廿出巧itionnet).关于Petri网中转换的点火问题，有些学者认为多个转换可以同时J旬火，只要他们都满足点火条件.】、匀i网〔h州械;lle冲“ce、1 包括相应数据系统在内的种种离散动态系统(并行程序、操作系统、计算机及相应设备和计算机网络)的数学模型，用于这些系统的定性分析和综合(发现系统种种死锁或冲突的各种情况以及各种瓶颈，进行并行程序和计算机部件的辅助综合等等).这一概念由C.几俪于20世纪印年代引人.一个几侧网为一个四元组N二(T，尸，F，M。)，其中T是有限符号集，其元素称为转换(扛al‘ ition)，P也是有限符号集，其元素称为位置(内ce)，尸自T“力，F是一个关联函数: F:Tx尸日尸xT~毛O，1}，M。为初始标记(而tial Tnark吨) M。:p~{o，一，一}. 一般来讲，氏tri网是一个带标号的有向图，它的结点集为T口尸(如图所示).夕 一条弧(由直线、折线或弧线表示)从一个位置结点(由圆圈表示)p〔尸出发，到达一个转换结点(由矩形表示)作T，当且仅当 F(P，t)=1(p称为t的输人位置;图中尸之{pl，pZ，p3}，T二{“，b，。，心)，一条弧从一个转换结点t出发，到达一个位置结点p，当且仅当 F(t，P)=l(p称为t的输出位置).开始时，位置p可以标上标记M。(夕)，如果M。(夕)不为0的话.M。(尸)代表该位置的记号个数. 模拟系统的动态变化由Petri网的运行来刻画.网络按离散时间运作，其状态从一个标记变化为另一个标记.每个标记是一个函数M:尸~{0，l，，，l，标记的改变(初始为M。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条