1) DSPN
确定与随机petri网
1.
Deterministic and Stochastic Petri Net(DSPN) is adopted in modeling and simulation of CAN communication process.
采用确定与随机petri网(DSPN)对CAN总线通信过程进行建模仿真,通过改变系统参数:信息到达时间间隔,受阻率和通道忙闲率,分析该系数对系统性能参数,即吞吐量和冲突概率的影响,从而有效地分析CAN总线系统的实时性能,为实际工程应用提供有价值的理论与方法。
2) deterministic and stochastic Petri net
确定与随机Petri网
1.
This paper gives a formal model for SIP core transactions using deterministic and stochastic Petri nets which lays a solid foundation for further analysis and implementation for the protocol.
论文利用确定与随机Petri网(deterministicandstochasticPetrinets,DSPN)给出了SIP核心事务的形式化模型,为进一步的协议分析和实现奠定了基础。
2.
PROFIBUS-DP communication process is modelled and analyzed based on discrete time deterministic and stochastic Petri net.
基于离散时间确定与随机Petri网(DDSPN)对PROFIBUS-DP通信过程进行建模和分析。
3) stochastic Petri net
随机Petri网
1.
Reliability analysis of the bunker transportation system based on the stochastic Petri Net;
基于随机Petri网的煤仓储运系统可靠性分析
2.
Performance analysis of the NAT-PT protocol based on stochastic Petri net;
基于随机Petri网的NAT-PT协议的性能分析
3.
The Arithmetic of the Average Completion Time Based on Stochastic Petri Nets;
基于随机Petri网的产品任务平均完成时间算法研究
4) stochastic petri nets
随机Petri网
1.
Performance evaluation of systems using stochastic Petri nets;
基于随机Petri网的系统性能评价
2.
Study on methodology of stochastic Petri Nets for modelling and analysis of marshalling station operation system;
利用随机Petri网对编组站作业系统建模及分析的研究
3.
Model and analysis of Equipment Maintenance Support Based on Stochastic Petri Nets;
装备维修保障的随机Petri网模型及分析
5) SPN
随机Petri网
1.
SPN Model of Communication Middleware and its Performance Evaluation;
通信中间件的随机Petri网模型及性能分析
2.
Evaluation for Component Software Reliability Using SPN in Early Stage;
用随机Petri网对构件化软件可靠性进行早期评估
3.
At the same time,SPN can describe the dynamic process of the transformation of the complex system s states,and can calculate the possibility of failures.
故障树能够很好的对复杂系统的故障发生进行定性的分析,而随机Petri网(SPN)能够描述复杂系统状态变化的动态过程,并且能够按照概率进行定量的计算。
6) non determined petri net
非确定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。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条