【摘 要】
：
一个网系统可能对应着多个(无限多个)进程,这为利用进程来分析系统的行为还来了不便.为此,文[36]提出了进程表达式的概念,并对有界网的进程表达式进行了研究.文[37]对可重复
论文部分内容阅读
一个网系统可能对应着多个(无限多个)进程,这为利用进程来分析系统的行为还来了不便.为此,文[36]提出了进程表达式的概念,并对有界网的进程表达式进行了研究.文[37]对可重复进程段的概念进行了拓展,给出了无界公平Petri网的进程表达式.该文主要研究任意无界Petri网的进程表达式.首先建立极小可重复向量和基本进程段之间的对应关系,借助可达树证明了任意Petri网的基本进程集的有限性并给出了求解算法.在此基础上,将网系统的一个基本进程段凝缩成一个变迁,得到一个很好地保持原系统性能和行为折系统,命名为进程Petri网.证明了任意Petri网的进程表达式即为其进程网的语言表达式.通过分解网系统中的并发和同步结构,引入语言的同步合成运算,给出了一种求取任意Petri网的语言表达式的方法,从而解决了任意Petri网的进程表达式的求取问题.该文还讨论了Petri网的进程表达式的属型划分以及代数判据、Petri网的进程表达式与语言表达式的关系等问题.
其他文献
随着软件规模和复杂性的不断增加,系统总体结构设计和说明的重要性远远超过了特定算法和数据结构的选择与设计.软件体系结构作为描述系统高层设计和实现更广范围内软件重用的
该论文首先给出亚公平依赖、亚公平关系的定义及判定条件,从而使公平依赖体系和公平体系完整化.之后又对亚公平网的性质进行研究,得出其两方面的性质:亚公平Petri网一定存在
该课题的研究内容是设计一种利用Internet和World Wide Web概念与技术的单位内部Intranet网络系统.该论文详细介绍了山东省建筑工程劳保费管理办公室组网的基本思想和设计过
该文对计算机集成制造系统、并行工程、工作流管理技术和计算机支持的协同工作等理论进行了论述,探讨了它们之间的相互关系和各自的特点,分析了计算机支持的协同工作的研究内
在众多的无损检测方法中,超声成像技术是一种令人瞩目的新技术,并随着电子技术和计算机技术的应用而迅速发展.该报告的第一部分结合"超声彩色成象与分析系统"讨论以计算机技
该文首先对目前最为流行的网络协议——TCP/IP协议进行了充分的分析,尤其是对黑客最容易攻击的几种常见协议(如TCP、UDP协议)的机理及实现方法进行了深刻的研究.与此同时,该
该文分析了国内外研究基于Internet的实进语音通信QoS问题的进展情况,结合该文提出的呼叫中心改进方案建立了端到端实语音通信的模型,从多方面的给出解决QoS问题的方法以及实
该文针对CD400BXICT系统的技术特点,按照设计要求设计了该系统中的数据采集部分,实现对CD400BXICT系统中的128路探测器信号的实时采集、校验和存储.设计以I/O扩展卡的形成,按
该文通过分析C程序中非局部跳转控制流的特点,提出了一个通过等价程序变换消除非局部跳转流的方法,并对该方法在不同情况下的正确性进行了阐述和证明.我们的方法是采用goto和
该文对多输入多输出系统模糊解耦的一些问题进行了讨论.针对传统解耦控制系统对参数变化敏感的问题,引入模糊的思想,希望能将模糊方法"不敏感"的优点应用于解耦系统中.文中主