一种基于同步合成构造Petri网进程表达式的方法

Petri网的进程是用于系统行为和状态描述的有效工具,Petri网的进程表达式可以给出系统全部进程的描述,但是对于任意无界Petri网而言求取其进程表达式十分困难.文中首先考察结构简单的S-网的进程行为,给出各种类型的S-网的进程表达式的描述方法.然后拓展了Petri网同步合成的概念,分析了同步合成过程中基本进程段集之间的关系,并利用同步混排给出了进程表达式之间的关系.随后证明了一个Petri网可以通过一组S-网同步合成得到,利用S-网的进程表达式给出了构造Petri网的进程表达式的方法.     

Petri网的进程表达式与语言表达式

Petri网的语言和进程都是网系统行为的一种有效的描述手段,对应的进程表达式和语言表达式给出了系统全体行为的约束描述．本文首先对Petrl网的进程表达式进行了类型的划分并给出了相应的代数判定依据，随后证明了Petri网的进程表达式与语言表达式的类型一致性，由此给出了由进程表达式求取语言表达式的算法，为基于Petri网语言(尤其是无界Petri网)分析实际的物理系统提供了更为有效的途径．     

稳定有界Petri网的进程表达式

文献[1]证明一个有界Pctri网的进程表达式是以该网的基本子进程集为字母表的正规表达式,然而没有给出基本子进程的求解方法。定义了一类有界Petri网—稳定有界Petri网,并给出其基本子进程的求解算法,进而利用有限自动机的语言表达式的求解方法来求解稳定有界Pctri网的进程表达式。另外,还给出了由符合一定条件的导网的进程表达式来构造其同步合成网的进程表达式的算法。     

S-组合Petri网的进程特性分析

Petri网进程是反映Petri网动态特性的重要工具.Petri网的进程表达式可以给出系统全部进程的描述,但是对于求取Petri网的进程表达式时用到的基本子进程,其求取通常是比较困难.通过分析Petri网S-组合过程中满足的进程特性,给出S-组合网与子网的基本子进程之间的关系,即S-组合Petri网的闭基本子进程的集合是子网的闭基本子进程的集合的并集.这样,就将求取结构复杂Petri网的基本子进程的问题转化为求取其结构简单的组合子网的基本子进程的问题,为求取结构复杂Petri网的基本子进程提供了一种方法.     

Petri网的进程网系统

提出了Petri网的进程系统的概念，一个Petri网的进程网系统是以其基本进程段的集合为新的变迁集，以各个基本进程段集的输入和输出库所集的并集为新的库所集，以原网系统的初始标识为初始标识而得到的网系统，它可以很好的地描述原网系统的进程行为，文中讨论了求取任意Petri网的基本进程段的算法，该算法是通过研究网中的极小可重复向量和极小受控可重复向量在可覆盖树上的分布特征实现的，文中还给出了通过网结构来描述各个基本进程段之间关系的方法，从而求出一Petri网的进程网系统。     

语言表达式到Petri网模型的转化及其算法

已知一个语言的表达式,直接构造产生该语言的Petri网模型是Petri网语言理论中一个重要问题.本文分析、研究同步交错正规表达式中各种运算与Petri网模型的对应转换关系,分别给出正规表达式、α闭包表达式到Petri网模型的转换方法;定义了Petri网的有界覆盖合成运算,研究有界覆盖合成网的语言性质,给出将同步交错正规表达式转换为Petri网模型的算法,从而实现了语言表达式到Petri网模型的等价转化.     

无界公平Petri网的进程表达式

Ｐｅｔｒｉ网的进程表达式是以该网系统的基本子进程集为字母的一个正规表达式．它用有限形式给出了网系统的所有（无限多个）进程的集合．作者于１９９５年给出了对任意给定的有界Ｐｅｔｒｉ网求其进程表达式的一个算法．这个算法对无界Ｐｅｔｒｉ网是不适用的,其原因在于子进程同构的概念在无界网系统中没有意义．对此,作者通过定义进程段行为等价的概念,导出了无界Ｐｅｔｒｉ网的进程表达式的一般形式,并借助无界公平网的特征     

Petri网语言表达式及其求解算法

Petri网语言是描述网系统动作序列的集合.为了给出一个网系统语言的形式描述,基于Petri网的状态转换图,分析了Petri网的行为特征,定义了α闭包表达式和Petri网语言表达式,给出了求解Petri网语言表达式的算法,为Petri网语言的形式化描述和分析提供了一种新方法.     

基于有色Petri网并发进程模型及死锁避免方法

并发进程具有明显的异步并发性,而Petri网是描述异步并发系统的有效工具,但是目前将Petri网用于并发进程控制问题的研究还几乎没有。为此通过引入扩展有色Petri网,为并发进程建立了模型,并给出了避免死锁的有效方法。     

S-网的进程表达式及求取方法研究

Petri网的进程是用于系统行为和状态描述的有效工具，但是通常很难给出结构复杂Petri网进程的全部描述。本文考察结构简单的S-N的进程行为，给出各种类型的S-N的进程表达式的描述方法，为结构复杂Petri网系统的进程描述提供借鉴和帮助。     

层次结构的进程网

进程网(Process Net)是一种结合进程代数和Petri网理论的Petri网模型。 当系统过于复杂时,进程网系统模型在实际应用中会遇到节点爆炸的问题,此时需要引入层次结构。提出了层次结构的进程网,给出了层次进程网的建模过程和实现算法,解决了大的复杂系统建模和状态空间爆炸问题,可以清楚地反映出模型的层次,便于对进程网进行细化得到准确的模型,也便于用逐步求精、自顶向下的方法对被模拟系统进行建模,帮助用户实现各种粒度的仿真服务。     

基于Petri网的电子支付安全模型研究

Petri网兼顾了严格定义与图形语言两个方面,具有丰富而严格的模型语义,也是一种图形化的语言,具有直观与易懂的特点。电子支付是客户使用电子账户通过网络实施的支付。针对电子支付过程中的安全风险,给出了电子支付可以实施的安全措施。利用Petri网描述安全电子支付流程,采用一种基于逻辑的Petri网分析方法,探索建立了基于Petri网的电子支付安全模型。该模型对于指导电子支付安全项目的研究以及解决实际安全问题具有一定的理论价值和实践意义。对电子支付建立Petri网安全模型的另一个目的,就是为信息安全研究提供新的方法与思路。     

工作流过程定义中的分层结构与正则Petri网

The abstract level problem and the classification of the abstract level problem in the workflow process model are discussed. The formalized problem of the abstract level problem in the process model is researched. The concept and definition of the petri net with end-transition and normal petri net according to the control abstract level problem are put forward and discussed. The equivalence of general Petri Net and general Petri Net is proved by the petri net with priori relationship.     

Notes on canonical label languages

Derivations by a phrase-structure grammar may be represented by a word over the set of indices for the rules of the grammar. The set of all label words constitutes the label language for the grammar. The canonical label language is the restriction of the label language to the set of canonical derivations of the grammar. Whether a given language may be the label language for any grammar is partially answered by restricting the question to the canonical derivations for regular and contextfree grammars.     

基于Petri网业务流程建模及到BPEL4WS的转换

BPEL语言是一种功能强大的描述业务流程的计算机可执行标准语言,在SOA（面向服务）架构中扮演着将服务串联成商业流程的灵魂角色。但是由于它的不够直观和代码冗长等缺点,BPEL不适合直接用于业务流程的抽象建模。因此研究其它抽象模型与BPEL间转换就相当有意义。在对Petri网和BPEL语言深入学习的基础上,定义了Petri网的若干部件及部件与BPEL的对应转换,然后提出了如何将业务流程Petri网模型转换成BPEL的算法,并用实例进行分析,验证该算法的有效性。     

PETRI 网在软件过程建模及过程实施中的应用

软件过程技术，作为一种保证软件开发质量和效率的方法，在许多软件企业引起了重视和应用。本文从条件／事件网出发，应用标记PETRI网，并针对其在软件过程中的特点，给出了软件过程和软件过程网合理性的定义，根据工作流领域的结论，可以应用经典PETRI网的工具验证其合理性。在此理论基础上，提出了传统的软件过程结构表示成软件过程网的规则。并研究其在实践中的应用，最后用一个实际软件开发企业中的应用实例详细解释了所提出的理论及应用。     

RECOGNITION CAN BE HARDER THAN PARSING

The work presented here attempts to bring out some fundamental concepts that underlie some known parsing algorithms, usually called chart or dynamic programming parsers, in the hope of guiding the design of similar algorithms for other formalisms that could be considered for describing the "surface" syntax of languages. The key idea is that chart parsing is essentially equivalent to a simple construction of the intersection of the language (represented by its grammar) with a regular set containing only the input sentence to be parsed (represented by a finite state machine). The resulting grammar for that intersection is precisely what is usually called a shared forest: it represents all parses of a syntactically ambiguous sentence. Since most techniques for processing ill-formed input can be modeled by considering a nonsingleton regular set of input sentences, we can expect to generalize these ill-formed input processing techniques to all parsers describable with our approach.     

基于Petri网的工作流模型

Petri网是一种很有效的模型描述语言，不仅能描述系统的结构特性，同时还能描述其动态特性，尤其适用于描述含有并行成分的系统，而工作流技术作为实现企业过程集成的有效手段，广泛用于各种场合。在简要介绍了Petri网和工作流基本知识的基础上，指出了基于Petri网的工作流模型的优点，讨论了将工作流模型转化为Petri网模型的基本原则，并且提出了一种扩展的Petri网模型作为一种工作流建模的工具，最后对基于Petri网的工作流模型进行了总结。