×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
武汉大学 [4]
清华大学 [3]
北京大学 [2]
兰州理工大学 [2]
上海大学 [2]
湖南大学 [2]
更多...
内容类型
期刊论文 [14]
会议论文 [8]
学位论文 [2]
发表日期
2018 [1]
2016 [2]
2015 [2]
2013 [1]
2010 [3]
2009 [2]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共24条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
发表日期升序
发表日期降序
提交时间升序
提交时间降序
题名升序
题名降序
作者升序
作者降序
Efficient modelling of yeast cell cycles based on multisite phosphorylation using coloured hybrid Petri nets with marking-dependent arc weights (EI收录)
期刊论文
Nonlinear Analysis: Hybrid Systems, 2018, 卷号: 27, 页码: 191-212
作者:
Herajy, Mostafa[1]
;
Liu, Fei[2]
;
Heiner, Monika[3]
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2019/04/22
Cells
Continuous time systems
Cytology
Petri nets
Phosphorylation
Stochastic systems
Modelling and Performance Analysis of IEEE 802.11 DCF Using Coloured Petri Nets
期刊论文
COMPUTER JOURNAL, 2016, 卷号: 59, 期号: 10, 页码: 1563-1580
Hu, X
;
Jiao, L
;
Li, ZJ
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2016/12/09
IEEE 802
11
DCF
coloured Petri nets
performance modelling
simulation
Modeling and Analyzing Web Application with Aspect-Oriented Hierarchical Coloured Petri Nets
期刊论文
中国通信, 2016, 卷号: 13, 页码: 89-102
作者:
Sun Xiaoxing[1]
;
Yu Huiqun[2]
;
Liang Honghao[3]
;
Yang Nianhua[4]
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/04/26
Coloured Logic Petri Nets and analysis of their reachable trees
期刊论文
ENTERPRISE INFORMATION SYSTEMS, 2015, 卷号: 9, 期号: 8, 页码: 900-919
作者:
Wang, Jing
;
Du, YuYue
;
Yu, ShuXia
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2019/12/17
vector matching
Logic Petri net
reachable tree
station equation
coloured logic Petri net
Towards Location-Aware Process Modeling and Execution
会议论文
作者:
Zhu, Guobin
;
Zhu, Xinwei
;
Baesens, Bart
;
Vanthienen, Jan
;
vanden Broucke, Seppe K. L. M.
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2019/12/05
Business process management
Geographical information systems
Location-aware processes
Process modeling
Process execution
Coloured petri nets
CONSTRUCTING FORMAL AFM-CPN MODEL OF AFM PARADIGM BASED ON COLOURED PETRI NETS
期刊论文
Computer Applications and Software, 2013, 卷号: Vol.30 No.5, 页码: 48-51,148
作者:
Yang Wangdong
;
Wu Hongbin
;
Li Changyun
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2020/01/05
Petri-nets
Software modelling
Aspect-oriented
Characterisation
用着色Petri网建模工作流模式
期刊论文
2010, 2010
闻立杰
;
王建民
;
孙家广
;
WEN Li-Jie
;
WANG Jian-Min
;
SUN Jia-Guang
收藏
  |  
浏览/下载:2/0
基于有色Petri网模型的GUI测试用例自动生成技术
期刊论文
2010, 2010
王钊
;
白晓颖
;
戴桂兰
;
WANG Zhao
;
BAI Xiaoying
;
DAI Guilan
收藏
  |  
浏览/下载:5/0
基于有色Petri网模型的GUI测试用例自动生成技术
期刊论文
2010, 2010
王钊
;
白晓颖
;
戴桂兰
;
WANG Zhao
;
BAI Xiaoying
;
DAI Guilan
收藏
  |  
浏览/下载:2/0
Deadlock control of autonomous vehicle storage and retrieval systems via coloured timed Petri nets and digraph tools
期刊论文
http://dx.doi.org/10.1080/00207540701832426, 2009
He, S. J.
;
Luo, J.
;
罗键
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2013/12/12
autonomous vehicle storage and retrieval systems
autonomous vehicle system
coloured timed Petri net
route digraph
cycle-deadlock
©版权所有 ©2017 CSpace - Powered by
CSpace