Petri网的对偶性质

来源 :计算机科学 | 被引量 : 0次 | 上传用户:sun383407949
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
位置/变迁(P/T)网[1]是一个常用的Petri网类,它具有动态、并发和图形直观性等良好特性.因此这类Petri网作为系统模拟与分析的有效工具已在众多领域中得到广泛应用.但对于大系统的分析也是Petri网方法遇到的一个难题.目前处理方法一般有两种:一是Petri网化简方法即在保持网的某些性质不变的前提下,将一个复杂Petri网化为较简单的Petri网[2];二是通过一些较为简单的小网,利用某种运算或组合而得到较为复杂的大网,且在组合过程中,保持网的某些性质不变.
其他文献
1.引言N-tuple结构首先由Bledsoe & Browing(1959)提出[1],并由英国帝国理工学院的Alexsander教授等人通过用RAM式神经元代替常规的神经元,利用N元(N-tuple)分解技术和可扩展
It is one of feasible ways to use the fully-developed database management system to manage the XML data. How to generate the corresponding relational schema is
The paper introduces the guide to Software Engineering Body of Knowledge,a project developed jointly by IEEE computer society and ACM. The background,objectives
Cooperation is an important mechanism for MultiAgent systems to work effectively. To real-ize it,a distributed plan is introduced in this paper. The constrained
The article introduces the objectives and contents of SWEEP,a software engineering education project organized by SWECC (a joint force form IEEE computer societ
Current middlewares are limited in their flexibility and adaptabiliy in face of changing environment and different user requirements. Applying the reflection te
Petri网的应用越来越广泛,对其理论的研究也进一步深入,文[1]~[3]对Petri网的加法、笛积、广义笛积和并运算进行了一系列讨论,得到一些重要性质.对Petri网的活性研究,具有非常