基于UniNet的对象概念研究

This paper discusses concepts on object from UniNet view and shows that there exists the flow of controlin object system except for exchanging of messages between objects. Meanwhile, the paper presents an independent mechanism of object communication separated from object that will result in a more general reuse of object. With helpof the control flow and the data flow, UniNet can describe not only the static features, but also the dynamic featuresof object system, which naturally solve the inheritance anomaly and the flow of data and control. In addition, based on UniNet specification, the object system can be verified easily and create the program code automatically.     

工作流网XPDL映射

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

基于模型的实时系统测试方法

本文分析了基于模型的实时系统测试的主要特征，分类介绍了现有的测试方法，并对这些方法作了归纳、比较和评价，指出了这类测试面临的困难和今后的发展趋势。     

OOPN-SOA架构下全球供应链业务优化研究

以全球供应链为研究对象,讨论全球供应链业务优化问题,区别于以往以博弈论工具为主求解全局优化的方法,提出基于对象Petri net建模方法,给出建模步骤和模型活性检验算法。根据OPN工具的输入输出特性,设计基于SOA的服务进化策略实施步骤。案例检验采用宁晋地区电缆产业数据,该方法提出改善国际消费者金融服务和国内生产者金融服务两个建议,证明了方法的有效性。     

基于有色Petri网的资源共享多线程数据采集系统

针对一种资源共享多线程数据采集系统的模型，采用基本网系统分析其系统行为，并用有色网模拟系统，提出了资源的部分共享方案，解决了系统的资源冲突和调度问题。     

Moving from Weakly Endochronous Systems to Delay-Insensitive Circuits

We consider the problem of synthesizing the asynchronous wrappers and glue logic needed for the correct GALS implementation of a modular synchronous system. Our approach is based on the weakly endochronous synchronous model, which defines high-level, implementation-independent conditions guaranteeing correct desynchronization at the level of the abstract synchronous model. We can therefore factor the synthesis problem into (1) a high-level, implementation-independent phase insuring the weak endochrony of each synchronous module and (2) the actual wrapper synthesis phase, highly simplified by the high-level assumptions, yet flexible enough to produce various, efficient implementations.We focus here on the synthesis of delay-insensitive asynchronous wrappers from weakly endochronous synchronous modules, and show how this can be done for a simple DLX processor model.     

模糊Petri网

本文首先把Ｐｅｔｒｉ网模糊化为一种模糊Ｐｅｔｒｉ网，它很适合用来描述具有模糊行为的并行（或并发）系统。它可用在许多应用领域，如应用在诸如大而复杂的制造系统及至社会和经济系统的模拟仿真等实际问题中。     

时间Petri网的分析工具PANT及其在调度问题中的应用

本文介绍了时间Ｐｅｔｒｉ网的分析工具ＰＡＮＴ。我们将首先探讨ＰＡＮＴ所处理Ｐｅｔｒｉ网的结构以及它所表现出的动态行为，并构造出相应的分析算法；其次，我们将通过求并行计算的调度问题，探讨如何利用ＰＡＮＴ对时间Ｐｅｔｒｉ网的分析能力来解决应用问题。     

层次结构的Petri网

Petri网是一个很好地描述与分析并行系统的模型。但在实际应用中,如果系统过大或较复杂时,会遇到结点数过多的问题。介绍了着色网和几种层次结构的Petri网,包括位置/转移精化网、对象网以及开放网等;分析和比较了这几种模型用以减少结点数和引入层次结构的方法,而且从结构上讨论了它们相互之间的关系。     

基于M-Petri网的活性研究

文章给出了M－Petri网的概念,并对其活性进行分析,给出了几个判定 M－Petri网活的条件。     

两类组合Petri网与性能分析*

提出两类新的组合Petri网,讨论组合网保持网的结构性质的条件,从而为Petri网的分析与综合提供了有效的方法.     

基于Petri网的流程间元素映射方法

对流程进行比较,在业务流程管理中有着重要的应用价值,可用于流程版本控制、流程相似度计算、流程合并等应用场景当中.流程间的元素映射是流程比较的首要步骤.现有的流程比较方法仅考察了流程任务活动的映射,忽略了流程中其他元素的对应关系,进而无法保障流程比较结果的可靠性.为此,提出一种基于Petri网的流程间元素映射模型,侧重描述了库所映射时所需要满足的上下文环境;随后,在此基础上提出了基于上下文环境的流程间库所映射算法.对于任意给定的两个Petri网建模的流程模型,该算法通过双边和单边映射的策略,优先选择上下文环境相似程度最高的库所作为对应库所返回.大量基于真实数据集的实验展示了该方法在库所映射方面的有效性,也展示了其用于流程相似度计算方面的高效性.     

航班延误波及链的有色出现网模型

针对基本Petri网的出现网在描述有色Petri网动态行为时的局限性,在基本出现网的基础上定义了一种扩展的出现网,即有色出现网,直观地反映了有色Petri网系统中资源流动及变化之间的顺序和并发关系,也大大减小了图形的复杂程度.同时,将有色Petri网和这种有色出现网应用于航班延误波及链的建模中,反映了航班执行时所需的多种资源的分布及流动情况,描述了航班在执行过程中与机场之间的相互影响及延误的链式波及反应.     

M-Petri网的组合性质

提出两类新的组合 M- Petri网 ,讨论了组合网保持网的结构性质的条件 ,从而为 Petri网的分析与综合利用提供了有效的方法     

Petri网模型代码映射研究

为了简化仿真系统的实现过程,分析总结了Petri网到程序代码的映射准则,从Petri网的基本元素和关系入手,根据逻辑关系建立映射的三类原子语句,并通过两种合成方式形成分子语句。以原型Petri网为例,遍历可达标识图的各种分支路径,提出循环路径到循环结构语句的代码映射方法。最后给出了带抑制弧的扩展Petri网和受控Petri网的代码映射方案,为Petri网向程序代码的转换提供了理论依据。     

Using Timed Petri Net to Model Instruction-Level Loop Scheduling with Resource Constraints

This paper uses timed petri net to model and analyze the problem of instructionlevel loop scheduling with resource constraints,which has been proven to be an NP complete problem.First,we present a new timed Petri net model to integrate functional unit allocation,register allocation and spilling into a unified theoretical framework.Then we develop a state subgraph,called Register Allocation Solution Graph,which can effectively describe the major behavior of our new model.the main property of this state subgraph is that the number of all its nodes is polynomial.Finally we present and prove that the optimum loop schedules can be found with polynomial computation complexity,for almost all practical loop programs.Our work lightens a new idea of finding the optimum loop schedules.     

一种基于扩展Petri网的工作流建模方法

工作流技术是计算机应用领域的一个新的研究热点。将Petri网引入工作流模型是一种常见的建模方法。但是,传统的PN不能直接用于描述比较复杂的工作流模型。本文根据C．A．Ellis定义的信息控制网、W．M．P．vanderAalst定义的工作流网,结合工作流本身的特点,对Petri网进行扩展,提出了一种描述工作流模型的新方法--信息控制Pettri网,并给出其表示工作流模型的正确性定义和验证。     

Structuring Acyclic Petri Nets for Reachability Analysis and Control

The incidence matrices—from places to transitions and vice versa—of an acyclic Petri net can obtain a block-triangular structure by reordering their rows and columns. This allows the efficient solution of some reachability problems for acyclic Petri nets. This result is further used in supervisory control of Petri nets; supervisors for Petri nets with uncontrollable transitions are constructed by extending the method of Yamalidou et al. (1996) to Petri nets where transitions can be executed simultaneously. A large class of Petri nets with uncontrollable transitions is given for which the maximally permissive supervisor can be realized by a Petri net. The original specification is algorithmically transformed—by using the results for acyclic Petri nets—into a new specification to take the presence of uncontrollable transitions into account. The supervisor is obtained by simple matrix multiplications and no linear integer programs need to be solved. Furthermore, a class of Petri nets is given for which the supervisor can be realized by extending the enabling rule with OR-logic.     

基于Petri网的软件测试分析

软件测试是发现软件中错误而检查文档、运行程序的一个过程。对软件文档和代码进行测试,是贯穿于整个开发生命周期的,尤其在开发早期,其作用更为重要。Petri网是一种好的分析工具,它能够动态运行程序模型,分析模型中存在的死锁、并发、冲突等问题,对程序正确性进行验证和分析。     

一类资源组合问题的扩展参数Petri网建模与优化研究

现代企业重组及ＣＩＭＳ资源调度问题是一类典型资源组合优化问题。文中针对这类资源组合优化问题。提出一种新的建模方法－－扩展参数Ｐｅｔｒｉ网。该网通过着色Ｐｅｔｒｉ网和时间Ｐｅｔｒｉ网中引入扩展参数使之对任务执行过程具有很强的模型描述与性能评价能力。另外,在该网中扩展的控制决策层Ｐｅｔｒｉ网模型不仅实现了对资源组合方案选择与评价并且可以方便地与不同的优化策略与优化算法进行集成,使问题的求解更加灵活、高