1) Petri Nets with Objects
带有对象的Petri网
2) object colored Petri nets
对象有色Petri网
1.
Firstly air defense simulation system is analyzed , then the system modeling method of air defense simulation with combination of UML and object colored Petri nets (OCPN) is put forward in detail, by integrating formal and informal modeling technique, at last, an example is given to illustrate this method.
通过深入分析防空作战仿真系统,综合运用形式化和非形式化建模技术,提出了UML和对象有色Petri网相结合的防空作战仿真系统混合建模方法,并给出了防空作战仿真系统的UML和OCPN的混合建模实例,为防空作战仿真系统采用复合建模技术、克服单一建模的缺陷提供了有益的思路。
3) Object-Oriented Petri Net
面向对象的Petri网
4) object Petri nets
对象Petri网
1.
Based on a distributed workflow system modeling method using UML and object Petri nets advantage in reference[1], the article further provides a formalized analysis method describing the system′s dynamic behavior to the mapping object Petri nets by the contracts in UML model and their correlation.
针对文献[1]提出的融合UML和对象Petri网优点建模分布式工作流系统的方法,本文进一步对UML模型中的合同及其相互关系映射后的对象Petri网提供了描述系统行为方面的形式化分析方法,并利用此方法对远程考试通用平台进行了动态分析。
2.
At the same time ,object Petri nets is in-troduced among the modeling of information security system.
同时把对象Petri网引入到信息安全系统的建模中,通过只有机密性需求的安全系统的实例来说明:应用OPN对信息安全系统建立的模型可以根据安全需求随意地删除和添加模型中的部分,从而使信息安全模型满足不同水平的信息安全需求。
3.
Object Petri Nets are then used to define the process model.
针对远程虚拟实验设计中存在的缺乏统一的系统模型的问题,本文提出了一种虚拟实验过程模型,介绍了这个模型的基本结构,给出了形式化定义,并利用对象Petri网(Object Petri Nets,OPN)对这个模型进行了描述。
5) object Petri net
对象Petri网
1.
In this paper, a workflow model simulation environment based on Object Petri Net(OPN) is constructed.
本文构建了一个基于对象Petri网(OPN)的工作流模型仿真环境，将建模工具生成的XML格式描述的工作流模型解析出来后，再转换成对象Petri网形式的仿真模型，然后设置仿真参数，将该模型投入仿真运行。
2.
BPEL modeling technique based on object Petri net is proposed in this paper.
讨论了通过对象Petri网对业务过程执行语言(BPEL)进行建模,提供一种从抽象BPEL过程扩展生成可执行BPEL过程的方法,该方法保证生成的可执行BPEL过程遵循抽象BPEL过程定义的业务协议,并通过BPEL2OPN对建模结果进行仿真。
6) OPN
对象Petri网
1.
UML, OPN and ACME are utilized combined with Software Architecture and Design Pattern.
结合软件体系结构和设计模式思想,综合使用UML、对象Petri网和体系结构描述语言ACME描述软件模型。
补充资料：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。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条