1) color Petri net
染色Petri网
2) colored Petri net
有色Petri网
1.
Analysis of OSPF routing performance based on colored Petri net model;
基于有色Petri网模型的OSPF路由性能分析
2.
Simulation analysis of investment decision-making based on colored Petri net;
基于有色Petri网的项目投资决策仿真分析
3.
Research on AGVS Optimized-dispatching Rules Based on Colored Petri Net Modeling;
基于有色Petri网建模的AGVS优化调度规则研究
3) 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网的图形化工作流建模工具的设计与实现
4) coloured Petri nets
有色Petri网
1.
Automated GUI test case generation technology based on coloured Petri nets model;
基于有色Petri网模型的GUI测试用例自动生成技术
2.
Verification of Coloured Petri Nets Based on Equivalence Classes of State Spaces;
基于状态空间等价类的有色Petri网特性验证
3.
In the topology analysis based on these coloured Petri nets, whenever a certain breaker changes its state only the buses containing the br.
基于基本分析单元有色Petri网的电网拓扑分析 ,当某个开关改变状态时 ,只重新计算包含该开关两端结点的母线。
5) 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网验证了该算法的正确性、完备性和可行性。
6) CPN
有色Petri网
1.
CPN is one of the most active modeling tools for the modelings of dispersing dynamic system at present.
有色Petri网(CPN)作为目前离散动态系统建模中最活跃的建模工具之一,不仅有充分的模拟能力和丰富的分析方法,还便于使用和理解。
2.
The Colored Petri Nets (CPN) is one of the most famous advanced Petri nets, CPN can combine the data structure with hierarchical decomposition well without influence the original Petri nets.
有色Petri网(也称CPN)是最著名的高级Petri网之一,CPN可以在不影响原始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。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条