期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
合成Petri网P不变量的性质分析 被引量:2
1
作者 刘俊先 姜志平 罗雪山 《系统工程与电子技术》 EI CSCD 北大核心 2007年第8期1349-1352,共4页
针对Petri网两种合成操作(共享合成、同步合成),采用组合原Petri网不变量生成合成Petri网不变量的方法,研究了合成Petri网P不变量的变化规律。对于同步合成Petri网,当原Petri网邻接矩阵的秩不超过各自转移数与共享转移数的差时,合成网的... 针对Petri网两种合成操作(共享合成、同步合成),采用组合原Petri网不变量生成合成Petri网不变量的方法,研究了合成Petri网P不变量的变化规律。对于同步合成Petri网,当原Petri网邻接矩阵的秩不超过各自转移数与共享转移数的差时,合成网的P不变量可以用原网P不变量的线性组合表示。对于共享合成Petri网,网的P不变量的位置投影是原网的P不变量;当原Petri网的P不变量线性相关时,可用其线性组合表示合成网的P不变量。 展开更多
关键词 系统分析 petri网合成 p不变量 最小支撑不变量
下载PDF
基于分解子网的Petri网不变量的分析 被引量:3
2
作者 徐志斌 郑大钟 《控制与决策》 EI CSCD 北大核心 1997年第2期103-108,共6页
分析系统性能时,Petri网不变量具有重要意义。为了减小求解的计算复杂性,基于Petri网的分解,并利用关联矩阵的构成特点,分析总网和分解后子网的不变量之间的关系。对分解后的子网为一般Petri网,采用的连接为自环连接和同步连接的情形,... 分析系统性能时,Petri网不变量具有重要意义。为了减小求解的计算复杂性,基于Petri网的分解,并利用关联矩阵的构成特点,分析总网和分解后子网的不变量之间的关系。对分解后的子网为一般Petri网,采用的连接为自环连接和同步连接的情形,得到了总网P/T-不变量可对分解保持的一些充分、必要或充要条件。 展开更多
关键词 pETRI网 关联矩阵 p/T-不变量
下载PDF
基于面向对象Petri网的供应链运作建模 被引量:11
3
作者 唐亮 于天彪 +1 位作者 丁军妹 王宛山 《东北大学学报(自然科学版)》 EI CAS CSCD 北大核心 2008年第7期1037-1040,共4页
采用了面向对象的Petri网(object-oriented Petri net,OPN)的方法来分析网络化制造环境下的供应链运作,这种方法采用计算机集成制造开放系统(CIMOS)的规则来模拟制造供应链的业务流程.通过这种模式下的供应链运作描述,以网络化制造技术... 采用了面向对象的Petri网(object-oriented Petri net,OPN)的方法来分析网络化制造环境下的供应链运作,这种方法采用计算机集成制造开放系统(CIMOS)的规则来模拟制造供应链的业务流程.通过这种模式下的供应链运作描述,以网络化制造技术中心为支持,提出供应链运作模式;构建各参与对象OPN模型,获得系统P不变量,在此基础上分析系统的性能如死锁、溢出以及冲突等.以制造商为例的OCN的关联矩阵和P不变量分析,证明构建的模型具有良好的性能. 展开更多
关键词 网络化制造 供应链运作 面向对象pETRI网 p不变量
下载PDF
一类制造系统活性控制
4
作者 俞建峰 殷跃红 陈兆能 《机床与液压》 北大核心 2003年第3期111-113,共3页
根据Petri网结构理论分析S3 RP类型制造系统的死锁发生的充分必要条件 ,分析Petri网模型中存在的最小死锁结构 ,根据库所不变量原理提出在最小死锁结构处施加控制库所的策略 ,从而消除死锁的发生。实例证明基于不变量原理的死锁避免策... 根据Petri网结构理论分析S3 RP类型制造系统的死锁发生的充分必要条件 ,分析Petri网模型中存在的最小死锁结构 ,根据库所不变量原理提出在最小死锁结构处施加控制库所的策略 ,从而消除死锁的发生。实例证明基于不变量原理的死锁避免策略是算法简便 。 展开更多
关键词 pETRI网 死锁结构 p不变量 死锁避免
下载PDF
基于Petri网方法的红血球代谢系统研究
5
作者 彭秀芬 丁德武 《计算机与应用化学》 CAS CSCD 北大核心 2014年第12期1569-1572,共4页
随着生物网络数据的迅速增长,对这些数据进行模拟分析的工具也随之发展。由于组合了图形化和数学化的特征,Petri网成为这一领域的重要模拟分析工具之一。但是,通过Petri网模拟分析的生物系统大多是一些孤立的生化途径。本文采用Petri网... 随着生物网络数据的迅速增长,对这些数据进行模拟分析的工具也随之发展。由于组合了图形化和数学化的特征,Petri网成为这一领域的重要模拟分析工具之一。但是,通过Petri网模拟分析的生物系统大多是一些孤立的生化途径。本文采用Petri网技术对红血球细胞的新陈代谢系统进行建模分析。首先介绍了基本的Petri网概念和分析方法,然后采用Petri网技术研究红血球的新陈代谢系统,建立了红血球新陈代谢系统的Petri网模型,最后计算了该模型中的P、T不变量,并讨论了它们的功能意义。 展开更多
关键词 生物网络 pETRI网 p不变量 T不变量
原文传递
L^p ESTIMATES FOR BI-INVARIANT OPERATORS ON CLASSICAL GROUPS
6
作者 范大山 《Chinese Annals of Mathematics,Series B》 SCIE CSCD 1996年第4期435-444,共10页
The main purpose of this paper is to extend to classical groups a H*irmander multiplier theorem concerning translation invariant operators on L p spaces which are known for the n-torus.
关键词 H*irmander multiplier theorem L p space Classical group poisson kernel
原文传递
一种面向移动商务的跨组织工作流建模方法
7
作者 满青珊 张金隆 +1 位作者 聂磊 种晓丽 《图书情报工作》 CSSCI 北大核心 2011年第12期122-126,共5页
移动商务的兴起,为工作流管理带来新的研究问题。提出一个跨组织工作流分析框架用于对移动商务下的工作流进行分析。以中国移动SP准入管理和WAP增值服务访问流程为案例,通过面向对象Petri网对我国移动商务跨组织工作流进行应用建模。站... 移动商务的兴起,为工作流管理带来新的研究问题。提出一个跨组织工作流分析框架用于对移动商务下的工作流进行分析。以中国移动SP准入管理和WAP增值服务访问流程为案例,通过面向对象Petri网对我国移动商务跨组织工作流进行应用建模。站在运营商的角度,构造SP准入过程对象通讯网,通过P不变量和T不变量验证模型对流程描述的正确性和有效性。 展开更多
关键词 移动商务 跨组织工作流 面向对象pETRI网 p不变量 T不变量
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部