×
验证码:
换一张
忘记密码？
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [8]
自动化研究所 [6]
数学与系统科学研究院 [5]
兰州理工大学 [2]
沈阳自动化研究所 [1]
内容类型
期刊论文 [16]
会议论文 [3]
学位论文 [3]
发表日期
2012 [1]
2011 [1]
2008 [1]
2007 [2]
2006 [1]
2005 [1]
更多...
学科主题
Automation... [1]
Computer S... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共22条，第1-10条
帮助
已选(
0
)
清除
条数/页：
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式：
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
单臂集束型装备随机Petri网模型与性能分析
期刊论文
沈阳化工大学学报, 2012, 卷号: 26, 期号: 4, 页码: 360-364,369
作者:
胡静涛
收藏
|
浏览/下载：18/0
|
提交时间：2013/04/21
随机Petri网
集束型装备
马尔可夫过程
吞吐量
structural property analysis of a kind of petri net synthesis
会议论文
2011 International Conference on Civil Engineering and Building Materials, CEBM 2011, Kunming, China, July 29, 2
Xia Chuanliang
;
Liu Zhendong
;
Sun Peng
收藏
|
浏览/下载：8/0
|
提交时间：2013/10/08
Building materials
Civil engineering
Construction equipment
refining and verifying regular petri nets
期刊论文
INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 2008, 卷号: 39, 期号: 1, 页码: 17-27
Li Jiao
收藏
|
浏览/下载：6/0
|
提交时间：2011/06/10
boundedness
liveness
Petri net
refinement
regularity
Petri net model of session initiation protocol and its verification
会议论文
Shanghai, China, September 21, 2007 - September 25, 2007
作者:
Yang, Peng
;
Yuan, Zhanting
;
Wang, Jizeng
收藏
|
浏览/下载：21/0
|
提交时间：2020/11/15
Network protocols
Risk analysis
Telecommunication services
Trees (mathematics)
Protocol verification
Reachability tree
Session Initiation Protocol (SIP)
Petri Net Model of Session Initiation Protocol and Its Verification
会议论文
作者:
Yang Peng
;
Yuan Zhanting
;
Wang Jizeng
收藏
|
浏览/下载：5/0
|
提交时间：2019/11/15
Session Initiation Protocol(SIP)
Petri net
Reachability tree
Invariant
Protocol verification
Analysis of properties of Petri synthesis net
期刊论文
THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS, 2006, 卷号: 3959, 页码: 576-587
作者:
Xia, Chuanliang
收藏
|
浏览/下载：20/0
|
提交时间：2018/07/30
Petri nets
analysis
synthesis
liveness and boundedness
property-preserving subnet reductions for designing manufacturing systems with shared resources
期刊论文
THEORETICAL COMPUTER SCIENCE, 2005, 卷号: 332, 期号: 1-3, 页码: 461-485
Huang HJ
;
Jiao L
;
Cheung TY
收藏
|
浏览/下载：21/0
|
提交时间：2011/07/28
manufacturing system
petri net
property-preserving
reduction
system design
transformation
verification
A modified reachability tree approach to analysis of unbounded Petri nets
期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2004, 卷号: 34, 期号: 1, 页码: 303-308
作者:
Wang, FY
;
Gao, YQ
;
Zhou, MC
收藏
|
浏览/下载：20/0
|
提交时间：2015/11/06
analysis method
discrete event systems
Petri nets
reachability tree
On liveness and boundedness of asymmetric choice nets
期刊论文
THEORETICAL COMPUTER SCIENCE, 2004, 卷号: 311, 期号: 1-3, 页码: 165-197
作者:
Jiao, L
;
Cheung, TY
;
Lu, WM
收藏
|
浏览/下载：9/0
|
提交时间：2018/07/30
analysis
asymmetric choice nets
characterization
liveness and boundedness
well-formedness
theory of Petri nets
on liveness and boundedness of asymmetric choice nets
期刊论文
Theoretical Computer Science, 2004, 卷号: 311, 期号: 40181, 页码: 165-197
Jiao Li
;
To-Yat Cheung
;
Weiming Lu
收藏
|
浏览/下载：2/0
|
提交时间：2010/08/24
©版权所有 ©2017 CSpace - Powered by
CSpace
