首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   7篇
  国内免费   1篇
  完全免费   1篇
  自动化技术   9篇
  1998年   2篇
  1997年   2篇
  1995年   1篇
  1994年   3篇
  1993年   1篇
排序方式: 共有9条查询结果,搜索用时 156 毫秒
1
1.
Pumping引理的Petri网描述—Petri网语言属型的一组判定条件   总被引:21,自引:0,他引:21  
吴哲辉 《计算机学报》1994,17(11):852-858
本文通过Pumping引理在Petri网的变迁节引发序列中的反映,揭示了对应的Petri网结构内涵,从而给出判定一个标准Petri网产生的语言分别为正规语言或上下文无关语言的充要条件,这样,就可以从网的结构直接判断其语言属型。  相似文献
2.
公平网的一组直接判断条件   总被引:18,自引:4,他引:14  
本文给出直接判断一个Petri网是否是公平网的一组充分必要条件.本文给出的判断方法有以下的优点:这里提出的方法不需要先求出给定网的结构有界子网,而是直接根据原网给出判断条件,从而简化了判断一个网是否为公平网的过程.这种方法还避免了原网删去结构无界的位置后,可能使某些变迁节变为孤立节点的情况.  相似文献
3.
P/T网的化简运算及其性质研究   总被引:13,自引:3,他引:10       下载免费PDF全文
许安国  蒋昌俊 《软件学报》1997,8(7):493-504
本文首先给出P/T网的几种化简运算,然后证明这几种运算对于网的结构性质不变,从而为P/T网的分析与综合提供了有效途径.  相似文献
4.
求有效极小(受控)可重复向量的一个算法   总被引:10,自引:3,他引:7  
蒋昌俊 《计算机学报》1994,17(8):580-587
文献[1]基于有效(受控)可重复向量,给出了判定一个标准Petri网产生的语言分别为正规语言或上下文无关语言的充要条件,然而,求取一个标准Petri网的有效(受控)可重复向量是着定网语言属型的前提条件,文献[1]没有给出求取它们的方法,本文提出一个算法,使得文献[1]判据可实现,此外,作为副产品,同时产生出网的所有极小T-不变量以及公平性判定的实现。  相似文献
5.
Petri网弱公平性的判断   总被引:9,自引:2,他引:7  
本文提出了弱公平网的概念,并给出了判断一个Petri网是否是弱公平网的一组充分必要条件。  相似文献
6.
功能确定的离散并发系统的Petri网规范设计方法   总被引:7,自引:0,他引:7  
蒋昌俊 《计算机学报》1995,18(7):532-538
本文提出概念模型的概念,作为实际问题到Petri网模型的桥梁,也就是系统的规格说明,概念模型包括功能图,资源图和约束集三部分,由此将系统设计中的功能与环境严格区分开,给出实际问题到概念模型,以及概念模型到Petri网模型的转换算法,从而构成一个面向功能的系统的Petri网规范设计方法,通过一制造系统的建模,说明了该方法的规范性和有效性。  相似文献
7.
加权T-图活性的进一步研究   总被引:4,自引:0,他引:4  
本文给出加权T-图是活网的另一组充分条件,这组条件包含了Teruel等对加权T-图活性分析的结果,方法简单,便于操作。Teruel文中研究了加权单回路网为守恒回路时活的一个充分条件,对一般加权T图活性的判断只限于每个回路是守恒回路的情况。  相似文献
8.
加权T-图的保性变换   总被引:1,自引:1,他引:0  
Petri网的保性化简是Petri例分析的一种重要途径.Marata等对活的和安全的标识T-图提出了系统的化简运算体系.蒋昌俊对加权T-图提出了若干种化简运算,这些化商运算能够保持网的结构有界性、守恒性、可重复性和相容性,但未涉及活性和公平性的保持问题.本文提出对加权T-图的另一类保性化简,这些化简运算可以保持网的结构活性和公平性.  相似文献
9.
本文定义Petri网嵌入操作的概念,讨论了嵌入操作对于系统行为(语言)以及性质(如活性,公平性,安全性和回归性)的保持关系,得到了一组充要条件,给出基于嵌入操作的并发系统递阶设计方法。  相似文献
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号