自定义特征的管网图形建模研究*

提出用自定义特征的方法设计管网图形模型,提供了新元件设计的接口,需要对元件进行扩展建模时,用户可先自定义生成特征元件进入特征库,再进行管网图形建模设计。该方法有效地解决了管网图形建模的可扩展性问题。系统采用面向对象技术来实现,以提高程序的移植性与通用性。实例研究表明,该方法实现的系统具有良好的接口与方便的用户操作,是一种有效的管网图形建模方法。     

多功能流水线调度的Petri网分析

在单功能流水线的Petri网模型[1]基础上，给出了一种基于时延Petri网的多功能流水线建模方法。并给出其资源状态转换图来反映其运行过程中资源的使用状况，利用这种资源状态转换图可求出其任意输入序列的最佳调度方案。     

针对一般线性约束的Petri网控制器设计方法

针对基于Petri网离散事件系统关于标识向量和Parikh向量的不等式约束反馈控制器设计问题,提出一种新的控制器设计方法.该方法首先利用Petri网的状态方程把关于标识向量和Parikh向量的不等式约束转变成关于Parikh向量的不等式约束,然后基于Petri网库所是关于Parikh向量的不等式约束的观点构造控制器.最后将该方法与Iordache和Moody提出的方法作比较,实验结果显示该方法更简单、有效.     

虚拟制造企业的Petri网建模/仿真

为降低Petri网建模难度并增强模型的可读性,提出一种通过消息序列表（Message Sequence Chart,MSC）模型对虚拟制造（Virtual Manufacturing,VM）企业的生产经营过程进行Petri网建模的新方法．建立冲突消解机制,给出从MSC模型到Petri网模型的转换算法,在不改变Petri模型活性、安全性和有界性等特性的基础上对其进一步优化,并对Petri网模型进行分析与评估．     

STG decomposition strategies in combination with unfolding

For synthesising efficient asynchronous circuits one has to deal with the state space explosion problem. In order to alleviate this problem one can decompose the STG into smaller components. This paper deals with the decomposition method of Vogler and Wollowski and introduces several strategies for its efficient implementations. Furthermore, this approach is combined with another method to alleviate state space explosion, which is based on Petri net unfoldings. The developed algorithms are compared by means of benchmark examples, and the experimental results show significant improvement in terms of memory usage and runtime compared with other existing methods.     

On the lower bound of monitor solutions of maximally permissive supervisors for a subclass α-S3PR of flexible manufacturing systems

Recently, a novel and computationally efficient method – based on a vector covering approach – to design optimal control places and an iteration approach that computes the reachability graph to obtain a maximally permissive liveness enforcing supervisor for FMS (flexible manufacturing systems) have been reported. However, it is unclear as to the relationship between the structure of the net and the minimal number of monitors required. This paper develops a theory to show that the minimal number of monitors required cannot be less than that of basic siphons in α-S³PR (systems of simple sequential processes with resources). This confirms that two of the three controlled systems by Chen et al. are of a minimal monitor configuration since they belong to α-S³PR and their number in each example equals that of basic siphons.     

工作流网XPDL映射

工作流过程定义是工作流管理系统过程模型建立阶段的功能。工作流过程定义可以采取不同的建模方法,而工作流网是Petri网技术在过程定义中的具体应用。XPDL是工作流管理联盟提出的工作流过程定义语言,主要用于不同工作流产品过程定义之间的交换。文章在分析工作流网和XPDL特性的基础上,给出了工作流网向XPDL映射的方法。     

Petri网化简规则在系统中的实现

Petri网是分析系统的一种很好的数学和图形工具。网的复杂性随着网中可达状态和变迁数目的增加而大大增加。这就使得对一个复杂网分析的难度不易控制。对此,提出了化简的思想,降低复杂度后再分析。文章将化简规则转化成算法,并在实际系统中实现。     

自定义特征的图形系统在管网建模上的应用

用自定义特征的方法,介绍了管网建模系统的设计与实现.用基本图元生成特征矢量图标,给出矢量图标生成的过程和属性设置.在管网建模中,介绍了用矢量图标生成管网模型的建模步骤和实例.该系统与工程实际相结合,能够有效地提高管网建模的效率,具有管网建模的通用性和扩展性.整个管网建模系统采用面向对象的程序设计思想进行设计,扩展后可以作为相似行业的管网建模系统使用.     

基于Petri网的联锁软件测试用例动态生成

根据Petri网可动态描述和分析系统行为的特性,设计铁路计算机联锁软件安全需求Petri网模型,进而提出基于Petri网故障树的最小割集求解算法以及基于形式化故障树最小割集的测试用例动态生成算法。虚拟站场上的测试结果表 明,该方法能有效地降低测试过程的资源消耗,提高软件测试的效率,为联锁软件的设计与改进提供测试依据。