1) time stream Petri net
时间流Petri网
1.
In the synchronization of media objects, the author adopts the time stream Petri net (TSPN) model to express the synchronization and mutual exclusion relations of the media data stream.
在媒体对象的同步中,采用时间流Petri网(TSPN)模型表示媒体数据流的同步、互斥等关系,用该模型结合“自上而下、逐步求精”的软件设计方法,描述了复杂多媒体表示系统中的媒体表示方案。
2) time Petri net
时间Petri网
1.
The CNC software model based on time Petri net with suppressing arc;
基于带抑制弧时间Petri网的CNC软件模型
2.
The Agent oriented time Petri net and its application in behavior modeling of virtual conceptual design;
面向Agent的时间Petri网及其在虚拟概念设计行为建模中的应用
3.
A workflow model of document management based on time Petri net;
基于时间Petri网的公文管理工作流模型
3) timed petri nets
时间Petri网
1.
In this paper, after carrying out a detailed analysis and research of timed petri nets, as well as the problem of multi-robots cooperation, we present a general method for modeling the cooperation of multi-robots by using timed petri nets, and a algorithm for generating the optimum operating sequence of the cooperating multi-robots.
多机器人协调操作是一直是机器人控制中一个比较复杂的问题 ,文章在深入分析、研究时间Petri网特性和多机器人协调操作控制规律的基础上 ,给出基于时间Petri网的多机器人协调操作模型建立的一般方法 ,以及优化的多机器人协调操作动作序列生成算
2.
Based on the theory of Petri nets, a timed Petri nets model was established for one airplane to implement a few flights.
基于时间Petri网理论,对单架飞机执行多个航班提出了时间Petri网链式模型,并给出了具体算法,用于在初始延误时间已知的条件下,判断初始延误机场的下游机场是否出现航班延误并计算航班延误的时间。
3.
Based on the theory of Timed Petri Nets in this paper, the description method of Quasi Timed Petri.
本文在时间Petri网的基础上加以拓展,提出了现场通信协议的类时间Petri网描述方法。
4) timed Petri net
时间Petri网
1.
Modeling of block erection process in shipyard based on sharing synthesis of timed Petri net;
基于共享合成时间Petri网的船舶吊装过程建模
2.
Research on translation method from system level description language SystemC to timed Petri net;
系统级描述语言SystemC到时间Petri网的转换技术
3.
Analysis Cryptographic Protocol Using Timed Petri Net;
基于时间Petri网的密码协议分析
5) time petri net
时间 Petri 网
1.
This paper has proposed one kind of modeling method based on Time Petri Net (TPN) for dynamic transportation network.
本文为研究现代物流系统的优化管理问题,采用时间 Petri 网对运输网络建立动态模型的方法,以便从逻辑上描述物流运输中的并发现象,来实现对运输模型的优化分析,从中寻找最短时间运输路径。
6) time Petri nets
时间Petri网
1.
Study on event correlation detecting mechanism based on time Petri nets;
基于时间Petri网的事件关联检测机制研究
2.
Study of building model of web services using time Petri nets;
基于时间Petri网的Web服务建模技术研究
3.
To resolve this problem,we present a heuristic resource allocation algorithm to even the tasks utilization in distributed real-time systems using time Petri nets as specification models.
该方法选用时间Petri网对分布式实时系统建模,并根据时间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。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条