计算Petri网S不变量和T不变量算法

以Petri网的关联矩阵为基础 ,提出了求解Petri网的S不变量和T不变量的算法 .以关联矩阵为基础构造求解矩阵 ,对所构造的求解矩阵进行初等线性行变换和列变换将相应的行元素和列元素变为零 ,并在变换后的矩阵中提取S不变量和T不变量 .

Petri网中S不变量和T不变量的算法

在Petri网中,不变量、虹吸和陷阱的求解是一个重要的问题,本文拟用数学方法—矩阵变换和数理逻辑两种方法进行探讨。根据矩阵理论,提出了计算Petri网S不变量和T不变量的一种比较简单和通用的算法,基于数理逻辑得到求解Petri网虹吸和陷阱的一般方法。

Petri网中的数学方法

根据矩阵理论提出了计算Petri网S不变量和T不变量的一种比较简单和通用的算法,基于数理逻辑得到求解Petri网虹吸和陷阱的一般方法.

基于Petri网的一类调度问题的分层控制器设计

利用Petri网中T不变量的思想,针对约束为T不变量的Parikh向量形式的job-shop调度问题,提出了一种分层控制器的设计算法,该算法有效地解决了这一有并发约束的控制问题。即使随着系统规模的增大,该方法计算量仍然很小,而且与经典的库所不变量方法相比较,它不受有无自回路的约束,可有效地解决一类实际制造系统中的job-shop调度问题。

作为T－空间T－伦型不变量的特异指数

对Ｔ空间之间引进了Ｔ映射，Ｔ同胚，Ｔ映射的Ｔ同伦，Ｔ空间的Ｔ同伦等价等概念．对Ｔ紧致连通Ｈａｕｓｄｏｒｆｆ空间应用ｅｃｈｓｍｉｔｈ特异上同调理论定义了特异指数的概念，并在此基础上证明了Ｔ空间的特异指数是Ｔ空间的Ｔ伦型不变量，从而也证明了它是Ｔ空间的Ｔ同胚不变量．

基于Petri网方法的红血球代谢系统研究

随着生物网络数据的迅速增长,对这些数据进行模拟分析的工具也随之发展。由于组合了图形化和数学化的特征,Petri网成为这一领域的重要模拟分析工具之一。但是,通过Petri网模拟分析的生物系统大多是一些孤立的生化途径。本文采用Petri网技术对红血球细胞的新陈代谢系统进行建模分析。首先介绍了基本的Petri网概念和分析方法,然后采用Petri网技术研究红血球的新陈代谢系统,建立了红血球新陈代谢系统的Petri网模型,最后计算了该模型中的P、T不变量,并讨论了它们的功能意义。

一种面向移动商务的跨组织工作流建模方法

移动商务的兴起,为工作流管理带来新的研究问题。提出一个跨组织工作流分析框架用于对移动商务下的工作流进行分析。以中国移动SP准入管理和WAP增值服务访问流程为案例,通过面向对象Petri网对我国移动商务跨组织工作流进行应用建模。站在运营商的角度,构造SP准入过程对象通讯网,通过P不变量和T不变量验证模型对流程描述的正确性和有效性。