【摘 要】
：
该论文首先在进程,进程表达式的基础上定义了进程表达式子式,全局满进程,闭包项等概念,通过进程分析有界Petrie网及其特殊子类标识S-图的动态性质.进而按运算符的多少引入一
论文部分内容阅读
该论文首先在进程,进程表达式的基础上定义了进程表达式子式,全局满进程,闭包项等概念,通过进程分析有界Petrie网及其特殊子类标识S-图的动态性质.进而按运算符的多少引入一目,二目,三目正规表达式,并分别讨论其为进程表达式的条件.最后给出一判定任意正规表达式是否为进程表达式的算法.此外利用基本子进程可以系统某一部分运行情况的特性,给出一个由实际系统运行规律设计相就Petri网模型的可行性方案,同时给出由基本子进程集到可达图的转换算法.
其他文献
近几十年来，随着时间序列数据的飞速增加，以及数据挖掘技术在多个领域的广泛应用，时间序列数据的学习得到了越来越多的关注。这些时间序列数据不仅仅包含文本数据，更包含如图像、
互联网技术的快速发展产生了数据爆炸和信息过载的问题,同时现代生活节奏的加快催生了用户快速阅读的需求,使得文本自动摘要技术成为了当今科学界的研究热点。相比其他自然语
该论文以"数据业务计算机综合服务管理系统"的设计和实现为基础,探讨了建立此类分布式系统的方法和模式,从多角度讨论了目前关于分布式处理的先进技术,提出了分布式应用系统
论文简单的介绍了WBM的原理及其分类,并结合作者设计的基于代理的WBM网络管理系统Netmiss及设计中的关键技术做了详尽的阐述.其中包括Netmiss原型系统SNMP通讯原语的设计实现
该文在阅读了大量有关文献的基础上,首先,对部线型网络和令牌环网这两种局域网的性能进行了分析和研究,得到了一些对局域网的规划和设计具有重要意义的结论:对总线型网络而言
无线射频识别(RFID)属于新近出现的先进的无线通信技术。能够利用非接触的工作方式实现远距离对待识别目标信号进行自动读写识别，信息读取速度快，存储量大，穿透性强，在工作中被广
随着信息技术的不断发展,人们每天都会面对超过自身接受范围的信息量。因此对文本进行主题分类,并为人们推送特定的信息就成了一个热门的研究议题。众多在线社交平台和在线新
论文对课件制作所涉及的媒体素材库进行了研究,提出了一种新的数据模型,并在该基础上采用课件分层设计方法.最终实现了基于媒体素材的分层课件制作工具.该工具可以利用媒体素
近年来,随着计算机和信息技术的迅猛发展和普及应用,行业应用数据呈爆炸性增长,全球进入到了一个全新的“大数据”时代,引起业界、学术界和各国政府的高度关注。大数据中往往
在现代电信管理中,计费系统是电信企业实现与客户的服务关系的纽带,是企业效益的最终体现. 该文主要从以下四个方面介绍了计费系统:(1)从中国电信的发展现状提出"九七工程"的