离散事件动态系统的PN机理论与方法研究
文献类型：学位论文
| 作者 | 蒋昌俊 |
| 学位类别 | 工学博士 |
| 答辩日期 | 1995-12-01 |
| 授予单位 | 中国科学院自动化研究所 |
| 授予地点 | 中国科学院自动化研究所 |
| 导师 | 疏松桂 ; 郑应平 |
| 关键词 | 离散事件动态系统 Petri网 PN机 形式语言 并发行为 并发模型 discrete event dynamic system Petri net PN machine formal language concurrent babavior concurrent model |
| 其他题名 | Research on Theory and Methods of PN Machines for Discrete Event Dynamic Systems |
| 学位专业 | 控制理论与控制工程 |
| 中文摘要 | 这篇文章是研究离散事件系统的PN理论与方法，全文共分为八章。第一章 是关于该领域研究的国内外综述。第二章是形式语言与Petri网的基本知识。在 第三章中，建立PN机模型，讨论了PN机的几种范式，考察了这些范式的语言关 系。建立矢量文法，并对其描述能力进行了分类，研究了矢量文法与PN机在串 语义下的对应关系，建立混杂PN机，证明了相应语言上的等价关系，并就正规 标矢量文法与上下文无关标矢量文法及其相应的自动机与PN机，建立了结构体 系，从而反映出PN机理论在某种意义上，也有类似形式语言自动机理论的完美 结构。在第四章中，基于以往工作的基础，提出判别PN语言属性的算法，给出 PN语言的一个串行识别算法。基于序列分段， 给出PN语言的一个并行识别算 法。基于同步分解，给出PN语言的一个并行识别算法。在第五章中，建立PN机 的行为表达式及其语言，研究了行为表达式与安全PN机转换的一个线性时间算 法，由此为并发系统的设计提供了一个行为机制的规范说明工具。在第六章中， 针对PN机的行为操作特征，提供三种PN机的递阶操作和三种嵌入操作，分别研 究了这些操作的语言保持关系，讨论了它们对活性，公平性等保持条件，给出 一个面向行为的复杂系统设计途径。在第七章中，PN机的同步合成操作和共享 合成操作被建立， 提出操作过程的行为不变性和状态不变性概念，研究了两种 操作对于两种不变性的若干代数判据及其之间的关系。 活性检验问题是Petri网 领域中迄今为止仍未解决的一个困难而又十分重要的著名问题。 这里我们给出 了活性的一个PN语言的刻划，并对同步操作过程，系统活性的保持提供了一组 充要条件， 这些结果在一定程度上可为系统活性的检测与控制提供有效途径。 在第八章中， 基于行为表达式，提出了系统性能分析的一个新方法，它适用于 任意分布的随机Petri网模型。 无界网的分析一直是一个悬而未决的问题(见文 [80])，这里的方法可在一定程度上解决这一问题。 |
| 英文摘要 | This dissertation is concerned wiyh the research on the theory and methods of PN machines for discrete event dynamic systems. The content of the whole disertation is divided into eight chapters. Chapters 1 reviews the research work around the world. Chapter 2 introduces some basic concepts of formal language and Petri net. In chapters 3, The PN machine models are established. The some forms of PN machine are discussed. The properties of PN language are studied. The concept of vector grammars under the string semantic is introduced. The class of vector grammars is gived, which is similar to the class of Chomsky grammars. The regular vector grammar is devided further. The hybrid PN machine is introduced, and its language is proved equivalent to the language of the language of the context-free vector grammar. So the perfect relation structure between vector grammars and PN machines in formed. In Chapters 4, an algorithm for computing effective and repeatable vectors of a canonical PN manchine, as well as minimum T-invariants which make it possible to decide the fairness of a PN machine is proposed. A sequence recognizing algorithm for PN language based on retraceable search technology is presented. Based on sequence partition and synchronous decomposition, two parallel recognizing algorithms for PN machine are presedted, respectively. In chapter 5, the concept of a behavior expression language which is used as a formalization of a behavior of concurrent system is introduced. It is shown that any a behavior expression language may be generated by a safe PN machine. A transform algorithm from behavior expression to a safe PN machine is presented.In chapter 6,three kinds of hierarchy operations and three kinds of embbedded operations of PN machines are studied. These operations' preserving properties for language, liveness, fairness as well as repetition are discussed. Based on these operations, the design method of object to behavior of decrete concurrent systems is given..In chapter 7,according to the character of practical system, two useful composition operations of PN machines are induced. The first kind of operation is synchronous composition with transition as object. The second of operation is share composition with place as object. The new concepts behavior and state invariants in operation process are definted.The invariant relations for two kinds of operations are studied. These theorems can be used to the composition of large systems. On the other hand, the language characterizations for weak liveness(free-deadlock) and liveness of PN machines are given. In terms of these characterizations, (weak) liveness of systems can be tested.An efficient method for system desig, analysization and control is obtained. In chapter 8, based on behavior expression, a new analysis method of systems performance is presented. It can be used for arbitrary distributed stochasti |
| 语种 | 中文 |
| 其他标识符 | 336 |
| 源URL | [http://ir.ia.ac.cn/handle/173211/5655]  |
| 专题 | 毕业生_博士学位论文 |
| 推荐引用方式 GB/T 7714 | 蒋昌俊. 离散事件动态系统的PN机理论与方法研究[D]. 中国科学院自动化研究所. 中国科学院自动化研究所. 1995. |
入库方式： OAI收割
来源：自动化研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。