题名 Petri网用于表示知识
被引量：18
1
作者
林闯 陆 维明
机构
国家信息中心信息科学与应用研究所 中国科学院数学研究所
出处
《计算机学报》
EI
CSCD
北大核心
1992年第1期1-16,共16页
基金
国家自然科学基金 中国科学院管理 +1 种基金 决策与信息系统开放研究实验室合作课题基金 国家第七个五年计划科技攻关课题经费的资助
文摘
本文研究了各种级别Petri网与模态逻辑之间的关系.Petri网的Enlogy是研究这些关系的基础.状况(case)和可达(Reachability)概念已经成功地用于以条件/事件(Condition/Event,简称C/E)网作知识表示.本文引用上述两个概念,使位置/变迁(Place/Transition,简称P/T)网和高级Petri网(High Level Petri Net,简称HLPN)可作知识表示.为了增强以 HLPN网作知识表示的能力,我们引用了状况变量和等价状况变量的概念.文中我们还以例子说明这些方法是可用的和有效的.
关键词
PETRI网 知识表示 模态逻辑
Keywords
Condition/Event Nets, Place/Transition Nets, High-level Petri Nets, case, step, modal logic, marking variables, case variable and equivalence of case variable.
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
题名 同步合成Petri网系统活性与无死锁性的保持性
被引量：19
2
作者
蒲飞 陆 维明
机构
中国科学院数学与系统科学研究院数学研究所
出处
《软件学报》
EI
CSCD
北大核心
2003年第12期1977-1988,共12页
基金
国家自然科学基金 国家重点基础研究发展规划(973)~~
文摘
合成操作是Petri网系统建模中一种重要的自底向上建模方法,而在Petri网系统的合成研究中,一些好性质,如活性、无死锁性、可回复性等的保持性,是一个重要的研究问题.研究了Petri网系统同步合成操作活性与无死锁性的保持性.与以往研究工作不同,基于路径的并发合成用并发语言的方法,提出并证明了同步合成Petri网系统的一个并发语言关系式.该语言关系式可用于判定同步合成Petri网系统的活性与无死锁性,同时给出了同步合成Petri网系统活性与无死锁性的充要条件.最后提出一些条件,在这些条件下,同步合成Petri网系统有活与无死锁的保持性质.
关键词
同步合成操作 活性与无死锁性的保持性 并发语言 同步路径 路径并发合成
Keywords
Computer programming languages Parallel processing systems Synchronization Theorem proving
分类号
TP301
[自动化与计算机技术—计算机系统结构]
题名 Petri网精细化操作及其在系统设计中的应用
被引量：16
3
作者
夏传良 焦莉 陆 维明
机构
中国科学院数学与系统科学研究院计算机科学研究室 中国科学院软件研究所计算机科学重点实验室
出处
《软件学报》
EI
CSCD
北大核心
2006年第1期11-19,共9页
基金
国家自然科学基金 国家重点基础研究发展规划(973)~~
文摘
针对柔性制造系统的设计问题,提出了用Petri网精细化操作解决问题的方案.给出了两种精细化操作.研究了Petri网精细化操作的动态性质保持问题,给出了精细化操作保持活性、有界性、可回复性的充分必要条件;对一个柔性制造系统进行了设计和验证.其结果可为Petri网系统静态和动态性质的考察提供有效途径,为Petri网复杂大系统的分析提供重要手段,并特别适合于柔性制造系统的设计,具有一定的实用价值.
关键词
PETRI网 精细化操作 活性 有界性 系统设计
Keywords
Petri nets refinement liveness boundedness system design
分类号
TP301
[自动化与计算机技术—计算机系统结构]
题名 四正则图的交叉数
被引量：3
4
作者
杨元生 王丹 陆 维明
机构
大连理工大学计算机科学与工程系 中国科学院
出处
《软件学报》
EI
CSCD
北大核心
2002年第12期2259-2266,共8页
基金
国家自然科学基金资助项目(60073013:60143002) 中国科学院数学与系统科学研究院基金资助
文摘
利用计算机对图的交叉数进行研究,给出了利用分支界限法计算图的交叉数的算法CCN(calculatecrossing number),并利用该算法计算出n≤12的所有四正则图的交叉数以及n≤16的随机四正则图的交叉数.同时计算出n≤12的所有四正则图的平均交叉数Aac(n)和n≤16的随机四正则图的平均交叉数Arc(n),根据计算结果提出四正则图的平均交叉数为O(n2)的猜想.
关键词
四正则图 交叉数 同构 平面图 分支界限法 算法 计算机
Keywords
crossing number regular graph isomorphic plane graph branch and bound method
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
题名 Petri网系统活性的研究
被引量：10
5
作者
陆 维明 甄强
机构
中国科学院数学研究所
出处
《计算机科学》
CSCD
北大核心
1999年第4期1-4,共4页
基金
国家自然科学基金
文摘
随着Petri网在平行计算、通讯系统、计算机集成制造系统等领域的广泛应用,在以Petri网为实际系统建立模型之后,人们很关心模型系统各种性质与行为,其中,活性是最关心的性质之一。我们知道Petri网系统是动态系统的静态描述,从它可以很容易得到系统的状态转换图,一般称Petri网系统的可达图(系统无界时,得覆盖图)。实质上,可达图是动态系统的动态描述;系统有多少种不同状态(不考虑系统无界时),可达图就有多少个结点;结点间由有向弧连结。
关键词
PETRI网系统 活性 可达图 动态系统
Keywords
Petri Net, Liveness, Subclass, Liveness conjecture, Algorithm
分类号
N94
[自然科学总论—系统科学]
TP393
[自动化与计算机技术—计算机应用技术]
题名 论非对称选择网的活性与安全性(英文)
被引量：10
6
作者
甄强 陆 维明
机构
中国科学院数学研究所
出处
《软件学报》
EI
CSCD
北大核心
2000年第5期590-605,共16页
基金
This research is supported by the National Natural Science Fundation of China(国家自然科学基金 No.6 97730 16 ) andthe Nation
文摘
活性与安全性是网系统的重要行为特性 .该文的贡献在于为非对称选择网导出其活性与安全性的一般性质 .文章讨论了活性具有单调性的非对称选择网活性与安全性的条件 ,并给出一个多项式时间算法来判定一个给定的非对称选择网是否是活的、安全的与活性满足单调性 .文章还讨论了非对称选择网的两个子类 (强化 I型与强化 II型 ) ,并给出活性满足单调性时其 (结构 )活与 (结构 )
关键词
非对称选择网 活性 安全性
Keywords
Asymmetric choice net, live, safe, structural liveness, structural safeness, liveness monotonicity, strong I AC net, strong II AC net.
分类号
O157.5
[理学—数学]
题名 Petri网研究:机遇与挑战
被引量：10
7
作者
陆 维明 林闯
机构
中国科学院数学研究所 国家信息中心信息科学与应用研究所
出处
《计算机科学》
CSCD
北大核心
1994年第4期1-5,共5页
基金
国家自然科学基金 中国科学院管理 +1 种基金 决策 信息系统实验室资助
文摘
本文是文[2]的姐妹篇,以国际动态为背景展示研究工作可以取得成就的方面,也试图就她面临的难点进行建设性的讨论。
关键词
PETRI网 计算机网络
分类号
TP393
[自动化与计算机技术—计算机应用技术]
题名 生产系统的Petri网模型
被引量：9
8
作者
陆 维明 林闯
机构
中国科学院数学研究所 国家信息中心信息科学研究所
出处
《自动化学报》
EI
CSCD
北大核心
1993年第3期290-299,共10页
基金
国家自然科学基金 中国科学院管理 +1 种基金 决策 信息系统开放实验室资助
文摘
本文提出了有消解过程的系统建模方法,并为随机模型建立了逐步精细原则,展示了系统性能分析的实例,探讨了建立外部监控模型的原理,研究了调控模型智能化问题,引入了用智能方法实现理想外部监控器的研究结果。
关键词
PETRI 工厂 自动化
Keywords
Petri net factory automation system performance system control intelligent model
分类号
TP278
[自动化与计算机技术—检测技术与自动化装置]
题名 共享合成Petri网系统的语言递归性与系统活性
被引量：10
9
作者
蒲飞 陆 维明 宋文
机构
中国科学院数学与系统科学研究院数学研究所计算机科学室 西华大学计算机科学与工程系
出处
《软件学报》
EI
CSCD
北大核心
2004年第3期317-326,共10页
基金
国家自然科学基金~~
文摘
在Petri网系统合成操作的研究中,大系统的一些好性质,如活性、无死锁性的判定,是一个重要的研究内容.研究了Petri网系统的一种重要的合成操作棗共享合成,着重研究了Petri网系统共享合成的行为关系(语言关系),指出并证明了Petri网系统共享合成过程中语言的递归性质,得到一个并发语言形式的共享合成语言关系式.这个语言关系式为应用Petri网系统对具有并发行为特征的系统进行建模分析提供了一种有效的形式化工具.进而利用这个语言关系式来判定共享合成网系统的活性与无死锁性,得到共享合成网系统活及无死锁的充要条件.最后给出了一些条件,在这些条件下,可用小系统的语言子集来判定共享合成网系统的活性,从而达到用小系统来研究大系统活性的目的.
关键词
共享合成 语言递归性 并发语言 路径并发合成 PETRI网系统 系统活性
Keywords
Concurrent engineering Formal languages Recursive functions Software engineering
分类号
TP393.0
[自动化与计算机技术—计算机应用技术]
题名 基于Petri网语言的并发系统性质研究(英文)
被引量：7
10
作者
蒋昌俊 陆 维明
机构
同济大学计算机科学与工程系 中国科学院数学研究所
出处
《软件学报》
EI
CSCD
北大核心
2001年第4期512-520,共9页
基金
国家自然科学基金 国家重点基础研究基金 +2 种基金 全国优秀博士学位论文作者基金 上海市重点基础研究基金 上海市曙光计划基金
文摘
给出 Petri网弱活性 (无死锁 )与活性的两个语言刻画 ,讨论了同步合成 Petri网的语言性质 .基于 Petri网语言 ,给出了判定 Petri网活性的充分必要条件 .同时研究了 Petri网同步合成过程中活性保持问题 ,给出保持活性的充分必要条件 .
关键词
PETRI网 并发系统 活性 同步合成 形式语言
Keywords
Characterization Composition Control systems Formal languages Petri nets Synchronization Testing Theorem proving
分类号
TP301.2
[自动化与计算机技术—计算机系统结构]
题名 论非对称选择网的活性
被引量：9
11
作者
甄强 陆 维明
机构
中国科学院数学研究所计算机科学室
出处
《软件学报》
EI
CSCD
北大核心
1998年第5期354-359,共6页
基金
国家自然科学基金 中国科学院管理 决策与信息开放实验室基金
文摘
本文给出了非对称选择网ＡＣ网（ａｓｙｍｍｅｔｒｉｃｃｈｏｉｃｅｎｅｔｓ）活性单调性的充分必要条件。
关键词
非对称选择网 活性 结构 PETRI网
Keywords
AC nets (normalsize asymmetric choice nets), strong AC nets, liveness, liveness monotonicity, structure liveness.
分类号
TP393
[自动化与计算机技术—计算机应用技术]
题名 一类Petri网系统的活性
被引量：6
12
作者
林贵献 陆 维明 焦莉
机构
中国科学院数学研究所
出处
《计算机学报》
EI
CSCD
北大核心
2002年第8期883-889,共7页
基金
国家自然科学基金 ( 6 97730 16 ) 国家重点基础研究专项经费( G19980 30 416 ) +1 种基金 中国科学院管理 决策与信息系统实验室 ( MADIS)资助
文摘
Petri网是一种用来研究具有异步、并发特征的离散事件系统的合适的工具 .当用 Petri网来模拟一个实际系统时 ,关心的问题之一就是要确定这个 Petri网模型是否具有一些所期望的特性 ,如活性、有界性等 .这些特性均是系统的重要动态行为 .该文基于文献 [1]给出了 Petri网的一子类 ,即弱化非自控网 (Weak Extended Non Self-Controlling Nets,简称 WENSe C网 ) ,该类网覆盖了扩展自由选择网和扩展非自控网 .文中提出并证明了 WENSe C网系统活性的充分必要条件满足死锁 -陷阱性质 ,同时对 WENSe C网的一子类 ,通过转化方法 ,证明了该类结构有界网的结构活判定算法可借用扩展非自控网的有关结果也是多项式时间算法 .
关键词
PETRI网 活性 扩展非自控网 弱化非自控网 结构有界性 离散事件系统
Keywords
Petri nets,extended non self-controlling nets,weak extended non self-controlling nets,structural liveness,structural boundedness
分类号
TP183
[自动化与计算机技术—控制理论与控制工程]
TP271.8
[自动化与计算机技术—控制科学与工程]
题名 Petri网共享PP-型子网合成性质分析
被引量：8
13
作者
夏传良 焦莉 陆 维明
机构
中国科学院数学与系统科学研究院计算机科学研究室 计算机科学重点实验室(中国科学院软件研究所)
出处
《软件学报》
EI
CSCD
北大核心
2007年第1期22-32,共11页
基金
国家自然科学基金 国家重点基础研究发展规划基金(973)~~
文摘
Petri网合成可以避免状态空间按指数阶迅速扩大的问题,并且在网扩大时可以保持原网的某些优良性质.为了解决资源共享问题,焦莉等人对于一个满足死锁-陷阱性质(ST-property)的非对称选择网(asymmetricchoice,简称AC)进行库所合并,给出了合并后的网保持原网活性、有界性和可回复性的条件.主要动机是对焦莉等人的研究结果进行推广,把对于AC网的库所合并问题推广到AC网或更一般的Petri网上的子网共享合成问题.给出了使共享PP-型子网合成Petri网系统保持活性、有界性和可回复性的条件以及多个AC网进行共享PP-型子网合成,使得到的合成网仍为AC网的条件.结果可为Petri网系统合成的静态和动态性质的考察提供有效途径,为Petri网复杂大系统的分析提供一定的手段.
关键词
PETRI网 分析 合成 活性和有界性 子网
Keywords
Petri net analysis synthesis liveness and boundedness, subnet
分类号
TP301
[自动化与计算机技术—计算机系统结构]
题名 论Petri网链路合成
被引量：6
14
作者
夏传良 陆 维明
机构
中国科学院数学与系统科学研究院
出处
《系统工程理论与实践》
EI
CSCD
北大核心
2005年第6期19-26,共8页
基金
国家自然科学基金(60073013) 国家重点基础研究发展规划(1998030416) +1 种基金 中国科学院管理 决策与信息系统开放实验室(MADIS)资助
文摘
提出了单链路的概念和链路合成网的概念;给出了自由选择网(FC),扩展自由选择网(EFC),强化非对称自由选择网(SAC),扩展强化非对称选择网(ESAC)和非对称选择网(AC)链路合成网为各自相应网的充分条件;提出了链路合成网保持结构活性的条件,按照条件对多个结构活的FC网,EFC网,SAC网,ESAC网,AC网以及一般的Petri网两两进行链路合成,最后可得到结构活的链路合成总网;链路合成的特色是合成条件容易判断,实用性强.研究结果可为Petri网系统合成的静态和动态性质的考察提供有效途径.
关键词
PETRI网 链路合成 结构活性 非对称选择网
Keywords
Petri nets link-road synthesis structural liveness asymmetric choice net
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
题名 基于共享位置的Petri网系统综合与保性
被引量：6
15
作者
焦莉 陆 维明
机构
中国科学院软件研究所计算机科学重点实验室 中国科学院数学与系统科学研究院
出处
《计算机学报》
EI
CSCD
北大核心
2007年第3期352-360,共9页
基金
国家自然科学基金(60473007 60421001)资助
文摘
基于Petri网技术及其共享位置(shared places),文章介绍了一种综合设计方法,该方法便于多种设计模型的重用,并且在一定条件下,每一步综合设计过程都能保持无死锁(deadlock free)等Petri网的重要行为特点.对一些特殊的网类,活性(liveness)也能保持.
关键词
PETRI网 特点保持 共享位置 设计 综合
Keywords
Petri nets property-preservation shared places design synthesis
分类号
TP393
[自动化与计算机技术—计算机应用技术]
题名 不超过9个顶点的所有图的交叉数
被引量：1
16
作者
杨元生 孙艳春 陆 维明
机构
大连理工大学计算机系 中国科学院数学与系统科学研究院数学所
出处
《小型微型计算机系统》
CSCD
北大核心
2003年第6期954-958,共5页
基金
国家自然科学基金资助 ( 60 0 73 0 13 ) 中国科学院数学与系统科学研究院部分资助
文摘
利用本文作者研制的计算图的交叉数的算法 CCN(Calculate Crossing Number) ,本文对 n≤ 9的所有图的交叉数进行了研究 .由于图的交叉数等于其所有二连通分支的交叉数的和 ,本文计算了 n≤ 9的所有单二连通分支图的交叉数 .并得出相关的规律 :1) n个顶点 q条边的单二连通分支图的平均交叉数 Ave(n,q)可近似地表示为 q的二次多项式 ,2 )在给定顶点数 n与边数 q的单二连通分支图中围长较大的图的平均交叉数大于围长较小的图的平均交叉数 ,3)在给定顶点数 n与边数 q的单二连通分支图中当 n为奇数或 r≤ n/ 2时 ,r正则图的平均交叉数大于非
关键词
交叉数 正则图 围长
Keywords
crossing number regular graph girth
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
题名 C/E系统的交替行为特性
被引量：5
17
作者
陆 维明
机构
中国科学院数学研究所
出处
《中国科学（A辑）》
CSCD
1993年第2期219-224,共6页
基金
国家自然科学基金 中国科学院管理 +1 种基金 决策 信息系统实验室资助
文摘
本文将C/E系统中事件交替实施定义为二元关系ALT,并定义一种系统基本现象:广义冲突.随后,导出了系统的交替行为特性以及二元关系ALT可传递的充分必要条件.
关键词
PETRI网 C/E系统 交替实施关系
分类号
TP393
[自动化与计算机技术—计算机应用技术]
题名 可分解非对称选择网的活性和有界性
被引量：3
18
作者
徐静 陆 维明
机构
中国科学院数学与系统科学研究院
出处
《软件学报》
EI
CSCD
北大核心
2002年第11期2142-2148,共7页
基金
国家自然科学基金资助项目(60073013) 国家重点基础研究发展规划973资助项目(G1998030416) +1 种基金 中国科学院管理 决策和信息系统开放实验室(MADIS)资助项目~~
文摘
活性和有界性是网系统的重要行为特性.从分解以及尽可能简单分解的角度得到了非对称选择网的一个子类,可分解非对称选择网(简称DAC网),证明了DAC网系统活性的充分必要条件,同时给出了DAC网系统活性有界性的充分必要条件,也进一步讨论了判定一个Petri网系统是否是活的有界的DAC网系统的多项式算法.
关键词
PETRI网 非对称选择网 可分解非对称选择网 活性 有界性
Keywords
Algorithms Boundary conditions Computational complexity Theorem proving
分类号
TP183
[自动化与计算机技术—控制理论与控制工程]
题名 随机Petri网非乘积解系统的判定与界限求解
被引量：4
19
作者
刘道斌 林闯 陆 维明
机构
中国科学院数学研究所 清华大学计算机系
出处
《电子学报》
EI
CAS
CSCD
北大核心
2001年第2期199-203,共5页
基金
国家自然科学基金!No .697730 1 6 698730 1 2 +1 种基金 国家重点基础研究发展规划项目! (No.G1 9980 30 4 1 6 G1 9990 32 70 7)
文摘
本文基于随机Petri网 (SPN)提出了一种利用站平衡来判断非乘积解系统模型的方法 ,发现了可能导致站不平衡的三种Petri网结构 ,对这三种结构进行了分析 ,得出了产生非乘积解的系统原因 ,并给出了一种利用乘积解求解非乘积解系统模型性能界限的方法 ,这种方法可广泛应用于多种实际系统的性能界限求解 .
关键词
随机PETRI网 站平衡 非乘积解 界限求解
Keywords
Boundary value problems Decision theory Mathematical models Queueing theory Scheduling Stochastic control systems
分类号
TN915
[电子电信—通信与信息系统]
题名 论加权扩充自由选择网的活性与安全性(英文)
被引量：4
20
作者
甄强 陆 维明
机构
中国科学院数学研究所
出处
《软件学报》
EI
CSCD
北大核心
2000年第3期300-307,共8页
基金
国家自然科学基金!No.6 97730 16 ) 中国科学院管理与决策信息系统开放实验室!No.H890 2 国家重点基础研究专项经费 !No.9730 0 2
文摘
活性与安全性是网系统重要的行为性质 .对于位置 /变迁网系统的一些子类 ,人们已为之导出许多有意义的结果 .该文贡献在于为一种称为加权扩充自由选择网的网系统子类找到活性与安全性的一般性质 .文章先给出其活性等价条件的简要与直观的证明 ,随后 。
关键词
加权扩充自由选择网 活性 安全性
Keywords
Weighted extended free choice net, live, safe, structurally live, structurally safe.
分类号
O157.5
[理学—数学]
