通信网络-自控网系统的仿真分析与硬件实现的研究.pdfVIP

自控网系统的仿真分析与硬件实现的研究 陆继远 唐平 赵不贿 (江苏大学 电气信息工程学院, 江苏 镇江 212013) [摘 要] 自控网系统是Petri 网的一个子类，与P/T 系统相比，有更强的描述能力和更复杂 的性质。由于它的非线性关系，无法直接套用其它网系统的分析技术，影响了对它的研究。 文章提出了用硬件描述语言对自控网系统进行描述，通过 EDA 工具进行仿真分析，揭示系 统的性质。文章针对计算 Fibonacci 数列的自控网系统模型，详细介绍了这一方法，给出了 ABEL 语言源代码和仿真波形，源代码经编译、优化、适配并下载到在系统可编程逻辑器件 中，得到了计算 Fibonacci 数列的专用芯片，这为自控网系统的分析和应用研究开辟了新的 途径。 [关键词] Petri 网；离散事件系统；电子设计自动化；硬件描述语言；在系统可编程器件 中图分类号：TP306 文献标识码：A 自控网系统(cyber net system)又称自修正系统(self-modifying system)，简称自控系统。 它是 Petri 网中的一类，与 P/T 系统区别仅仅在于有向弧的权受库所控制，它的关联矩阵含 变量元素，而 P/T 系统的关联矩阵是常量，因此，P/T 系统是线性的，而自控系统是非线性 的，P/T 系统只是自控网系统的一种特殊情况。虽然自控系统在上世纪 70 年代初就已被提 出，但由于自控系统的非线性关系，无法直接套用其它网系统的分析技术，对自控系统的研 究成果并不多。而正由于自控系统的非线性关系，它有更强的描述能力和更复杂的性质。因 此，对自控系统的研究具有重要意义。北京大学袁崇义教授对自控系统进行了深入的研究 [1,2]，提出了自控系统的 S-不变量和 T-不变量的定义及其计算。本文采用 EDA 工具，用在 系统可编程逻辑器件来实现自控系统，并通过仿真对自控系统进行分析。其目的是扩大自控 系统的应用范围，激起人们对自控系统研究的兴趣。 1．自控系统简介[2] 定义 1 Σ=(S ，T ；F ，W ，M )为自控系统的条件是： 0 (1) (S，T ；F)为有向网，称为Σ的基网。 (2) W ：S×T∪T×S→{0，1,2，…}∪S，且 W(x ，y) ≠0 当且仅当 W(x ，y) ∈F ，称为Σ的 权函数。 (3) M0 ：S→{0，1,2，…}为Σ的标识。 自控系统与P/T 系统区别在于权函数 W 的值域中增加了 S。定义中假定了每个 S_元的 容量是无限的，但在硬件实现时，由于存储器的位数有限，S_元的容量都是有限的，但这 不影响对问题的研究。 定义 2 (1) 映射 M ：S→{0，1,2，…}称为Σ的标识。 (2) 标识 M 下的权函数 WM 定义为：∀(x，y) ∈S×T∪T×S， 基金项目: 原机械工业部教育司科技基金资助项目，江苏大学青年基金资助项目(JDQ03014) 作者简介: 陆继远(1978 －) ，男，江苏镇江人，硕士，助教，主要研究领域为 Petri 网理论与应用，计算机应用； · (3) 变迁 t ∈T 在标识 M 有发生权(即 M[t) 的条件是：∀s∈S：M(s) ≥WM(s,t)且有 s∈ t 使 WM(s,t)0，即t 至少有一个非 0 的输入权。 (4) 若 M[t ，则t 可以发生，后继标识 M ’由下式给出： M ’=M(s)+WM(t,s)-WM(s,t) 后继关系记做 M[tM ’。 定义 2 给出了自控系统的变迁规则。显然，变迁发生方式对最终标识的影响很大。P/T 系统中“并发能到达的标识，顺序也能到达”，而这在自控系统中不成立。自控系统的动态 演变是以 T 上的多重集的并发一步一步演变。 文[3]给出了 Fibonacci 数列的增广 Petri 网模型，用了 19 个库所，18 个变迁和大量的抑 制弧。图 1 是计算 Fibonacci 数列的自控网系统[2]，十分简洁，充分反映了自控网系统的建 模能力。图 1 中，s5