期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
6
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于归结反演的Petri网推理新方法
被引量：
7
1
作者
周奕
吴时霖
《计算机学报》
EI
CSCD
北大核心
1997年第3期213-222,共10页
本文首先在命题逻辑的库所／变迁网模型中，提出四种新的证明目标命题成立的推理算法，即求包含目标变迁的Ｔ－不变量并同时求出变迁发生序列的算法，它们都源于归结反演系统中的改进策略．然后修改这些算法，并将它们推广到一阶谓词逻...
本文首先在命题逻辑的库所／变迁网模型中，提出四种新的证明目标命题成立的推理算法，即求包含目标变迁的Ｔ－不变量并同时求出变迁发生序列的算法，它们都源于归结反演系统中的改进策略．然后修改这些算法，并将它们推广到一阶谓词逻辑的谓词／变迁网模型中．这些算法都具有较高的效率，为逻辑推论的Ｐ／Ｔ网和Ｐｒ／Ｔ网模型的推理提供了新的有效的方法．
展开更多
关键词
逻辑推理
归结反演
PETRI网
下载PDF
职称材料
基于Petri网B/S体系架构的在线评测系统建模与验证
被引量：
2
2
作者
陈晓亮
宋文
陈东
《计算机应用》
CSCD
北大核心
2009年第10期2833-2837,共5页
在线评测系统可以看作网络环境下,实现动态事务处理的一个有代表性的系统。针对传统的软件设计建模方案很难兼顾系统静态结构的描述和动态行为的分析,采用P/T网构建了一类B/S架构的在线评测系统层次模型。根据系统功能,提出了保证系统...
在线评测系统可以看作网络环境下,实现动态事务处理的一个有代表性的系统。针对传统的软件设计建模方案很难兼顾系统静态结构的描述和动态行为的分析,采用P/T网构建了一类B/S架构的在线评测系统层次模型。根据系统功能,提出了保证系统功能正确性应具有的重要性质,继而用S_不变量对其进行了分析、验证。
展开更多
关键词
PETRI网
在线评测
B/S架构
P/T系统
S_不变量
下载PDF
职称材料
Petri网模型在MIS系统中的应用
3
作者
叶和平
李广明
曾文权
《东莞理工学院学报》
2003年第2期1-3,共3页
管理信息系统是控制物质和信息的协调系统。Petri网是一种建模及分析系统性能的有力工具,特别是对检测系统并发冲突方面具有独到的优势。利用Petri网和MIS的耦合性,Petri网模型可以使管理者了解生产的细节和工作流程,更好地为决策者服务。
关键词
管理信息系统
MIS系统
PETRI网模型
条件/事件网
位置/转移网
耦合性
系统分析
下载PDF
职称材料
基于Petri网的互斥算法
被引量：
1
4
作者
秦奋涛
《高师理科学刊》
2001年第2期25-26,共2页
使用库所 /变迁网来描述进程的互斥算法 ,并针对两个进程交替进入临界段算法的不足 。
关键词
进程
临界资源
临界段
互斥
PETRI网
库所/变迁网
算法
下载PDF
职称材料
Petri网模型在MIS系统中的应用
被引量：
1
5
作者
王和勇
《中山大学研究生学刊（自然科学与医学版）》
2001年第1期26-29,共4页
管理信息系统是控制物质和信息的协调系统。利用Petri网和MIS的耦合性,Petri网模型可以使管理者了解生产的细节和工作流程,更好地为管理者服务。
关键词
条件/事件网
位置/转移网
耦合性
MIS
PETRI网模型
下载PDF
职称材料
着色网到基本网的等价变换
被引量：
1
6
作者
唐培和
《广西工学院学报》
CAS
1995年第3期53-57,共5页
本文证明了任意一个着色网都可以转换成与其等价的基本网，并给出了这种等价转换的算法。为利用基本网的分析技术分析着色网的性能提供了一种方法。
关键词
着色网
等价变换
基本网
算法
下载PDF
职称材料
题名
基于归结反演的Petri网推理新方法
被引量：
7
1
作者
周奕
吴时霖
机构
伊里诺依大学芝加哥分校电子工程系
出处
《计算机学报》
EI
CSCD
北大核心
1997年第3期213-222,共10页
基金
国家863计划
文摘
本文首先在命题逻辑的库所／变迁网模型中，提出四种新的证明目标命题成立的推理算法，即求包含目标变迁的Ｔ－不变量并同时求出变迁发生序列的算法，它们都源于归结反演系统中的改进策略．然后修改这些算法，并将它们推广到一阶谓词逻辑的谓词／变迁网模型中．这些算法都具有较高的效率，为逻辑推论的Ｐ／Ｔ网和Ｐｒ／Ｔ网模型的推理提供了新的有效的方法．
关键词
逻辑推理
归结反演
PETRI网
Keywords
place
/
transition
net
,
Predicate/
transition
net
,
logic
inference,
T-invariant,
resolution
refutation.
分类号
TP393 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
基于Petri网B/S体系架构的在线评测系统建模与验证
被引量：
2
2
作者
陈晓亮
宋文
陈东
机构
西华大学数学与计算机学院
出处
《计算机应用》
CSCD
北大核心
2009年第10期2833-2837,共5页
基金
四川省教育厅应用基础项目(08ZA029)
文摘
在线评测系统可以看作网络环境下,实现动态事务处理的一个有代表性的系统。针对传统的软件设计建模方案很难兼顾系统静态结构的描述和动态行为的分析,采用P/T网构建了一类B/S架构的在线评测系统层次模型。根据系统功能,提出了保证系统功能正确性应具有的重要性质,继而用S_不变量对其进行了分析、验证。
关键词
PETRI网
在线评测
B/S架构
P/T系统
S_不变量
Keywords
Petri
net
online
judge
Browser/Server
（B/S）
architecture
place
/
transition
net
S_invariant
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
Petri网模型在MIS系统中的应用
3
作者
叶和平
李广明
曾文权
机构
广东省科技干部学院软件工程系
东莞理工学院计算机系
出处
《东莞理工学院学报》
2003年第2期1-3,共3页
文摘
管理信息系统是控制物质和信息的协调系统。Petri网是一种建模及分析系统性能的有力工具,特别是对检测系统并发冲突方面具有独到的优势。利用Petri网和MIS的耦合性,Petri网模型可以使管理者了解生产的细节和工作流程,更好地为决策者服务。
关键词
管理信息系统
MIS系统
PETRI网模型
条件/事件网
位置/转移网
耦合性
系统分析
Keywords
condition/event
net
place
/
transition
net
coupling
MIS
分类号
C931.6 [经济管理—管理学]
TP393 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
基于Petri网的互斥算法
被引量：
1
4
作者
秦奋涛
机构
张家口师范专科学校计算机系
出处
《高师理科学刊》
2001年第2期25-26,共2页
文摘
使用库所 /变迁网来描述进程的互斥算法 ,并针对两个进程交替进入临界段算法的不足 。
关键词
进程
临界资源
临界段
互斥
PETRI网
库所/变迁网
算法
Keywords
process
critical
resource
critical
section
mutual
exclusion
Petri
net
place
/
transition
net
分类号
TP301.6 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
Petri网模型在MIS系统中的应用
被引量：
1
5
作者
王和勇
机构
中山大学数学系
出处
《中山大学研究生学刊（自然科学与医学版）》
2001年第1期26-29,共4页
文摘
管理信息系统是控制物质和信息的协调系统。利用Petri网和MIS的耦合性,Petri网模型可以使管理者了解生产的细节和工作流程,更好地为管理者服务。
关键词
条件/事件网
位置/转移网
耦合性
MIS
PETRI网模型
Keywords
Condition/Event
net
place
/
transition
net
Coupling
分类号
C931.6 [经济管理—管理学]
TP399 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
着色网到基本网的等价变换
被引量：
1
6
作者
唐培和
机构
广西工学院计算机与电气工程系
出处
《广西工学院学报》
CAS
1995年第3期53-57,共5页
文摘
本文证明了任意一个着色网都可以转换成与其等价的基本网，并给出了这种等价转换的算法。为利用基本网的分析技术分析着色网的性能提供了一种方法。
关键词
着色网
等价变换
基本网
算法
Keywords
Coloured
Petri
net
s
Equivalent
variation
place
/
transition
net
Algorithm
分类号
O157.5 [理学—数学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于归结反演的Petri网推理新方法
周奕
吴时霖
《计算机学报》
EI
CSCD
北大核心
1997
7
下载PDF
职称材料
2
基于Petri网B/S体系架构的在线评测系统建模与验证
陈晓亮
宋文
陈东
《计算机应用》
CSCD
北大核心
2009
2
下载PDF
职称材料
3
Petri网模型在MIS系统中的应用
叶和平
李广明
曾文权
《东莞理工学院学报》
2003
0
下载PDF
职称材料
4
基于Petri网的互斥算法
秦奋涛
《高师理科学刊》
2001
1
下载PDF
职称材料
5
Petri网模型在MIS系统中的应用
王和勇
《中山大学研究生学刊（自然科学与医学版）》
2001
1
下载PDF
职称材料
6
着色网到基本网的等价变换
唐培和
《广西工学院学报》
CAS
1995
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
