Petri网的进程网系统

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

无界Petri网的进程表达式

借助进程网系统的概念 ,首先证明了无界Petri网Σ的进程与其进程网系统ΣP的语言之间存在一一映射关系 ,将求取Σ的进程表达式的问题转化成求取ΣP的语言问题 .由于ΣP的结构一般比较复杂 ,直接求取其语言仍然比较困难 .通过定义库所的指标函数 ,将结构复杂的ΣP分解成结构简单的子网系统 ,引入了语言的同步交运算 ,给出了利用这些子网系统求取结构复杂的ΣP语言的方法 ,从而得到了求取无界Petri网Σ的进程表达式的算法 .

蓝牙-家庭网络中服务调用的设计和实现

家庭网络是一种新兴的网络,面向普通家庭的特点决定了家庭网络对于服务调用的实现接口要求更简单更方便。蓝牙技术凭借良好的技术特点在家庭网络中有着广阔的应用前景,但是SIG规范并未给出如何实现具体的服务调用。本文分析了现有的服务调用方式,探讨了家庭网络的结构特点,并由此设计了针对家庭网络的服务调用模型:以XML为核心,SOAP和蓝牙SDP模块共用的方式,并在我们设计的家庭网络系统中进行了实现。