×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
清华大学 [33]
自动化研究所 [19]
山东大学 [15]
北京大学 [11]
西安交通大学 [8]
兰州理工大学 [6]
更多...
内容类型
期刊论文 [77]
会议论文 [25]
学位论文 [8]
其他 [4]
图书章节 [1]
发表日期
2019 [7]
2018 [7]
2016 [4]
2015 [5]
2014 [3]
2013 [2]
更多...
学科主题
Computer S... [1]
Computer S... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共115条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Formal Modeling and Discovery of Multi-instance Business Processes: A Cloud Resource Management Case Study
期刊论文
IEEE/CAA Journal of Automatica Sinica, 2022, 卷号: 9, 期号: 12, 页码: 2151-2160
作者:
Cong Liu
收藏
  |  
浏览/下载:0/0
  |  
提交时间:2022/12/02
Cloud resource management process
multi-instance Petri nets (MPNs)
multi-instance sub-processes
process discovery
quality evaluation
Control Algorithm Using a Revised MIP Method to Deal with Livelocks in S4R of Petri Nets
期刊论文
Journal of Shanghai Jiaotong University (Science), 2019, 卷号: 24, 期号: 2, 页码: 190-195
作者:
Li, Shaoyong
;
Wu, Zongli
;
Li, Hailin
;
Wei, Xianhong
;
Cai, Ying
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2020/11/14
Flexible manufacturing systems
Petri nets
Siphons
Deadlock control policy
livelocks
Mixed integer
Mixed integer programming
Mixed integer programming (MIP)
Petri net systems
Sequential systems
Shared resources
Robust deadlock control of automated manufacturing systems with multiple unreliable resources
期刊论文
Information Sciences, 2019, 卷号: 479, 页码: 401-415
作者:
Luo, JianChao
;
Liu, ZhiQiang
;
Zhou, MengChu
;
Xing, KeYi
;
Wang, XinNian
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2019/11/19
Automated manufacturing systems
Continuous production
Deadlock avoidance
Deadlock prevention
Multiple unreliable resources
Petri net models
Resource failures
State-of-the-art methods
A Method for Mining Process Models With Indirect Dependencies via Petri Nets
期刊论文
IEEE ACCESS, 2019, 卷号: 7, 页码: 81211-81226
作者:
Sun, Huiming
;
Du, Yuyue
;
Qi, Liang
;
He, Zhaoyang
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2019/12/11
Process mining
process model
indirect dependency
association rule
Petri net
A Simple Logic Transition Repair Method for Business Process Models via Logic Petri Nets
期刊论文
IEEE ACCESS, 2019, 卷号: 7, 页码: 76628-76644
作者:
Teng, Yuanxiu
;
Du, Yuyue
;
Qi, Liang
;
Luan, Wenjing
;
Wang, Lu
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2019/12/11
Process model
model repair
logic Petri net
conformance checking
Repair Process Models Containing Non-Free-Choice Structures Based on Logic Petri Nets
期刊论文
IEEE ACCESS, 2019, 卷号: 7, 页码: 105132-105145
作者:
Zheng, Wentai
;
Du, Yuyue
;
Wang, Shouguang
;
Qi, Liang
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/11
Process mining
deviation
alignment
non-free-choice structure
logic
Petri net
A Method for Repairing Process Models Containing a Choice With Concurrency Structure by Using Logic Petri Nets
期刊论文
IEEE ACCESS, 2019, 卷号: 7, 页码: 13106-13120
作者:
Zheng, Wentai
;
Du, Yuyue
;
Qi, Liang
;
Wang, Lu
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2019/12/11
Business process
deviation
alignment
choice with concurrency
structure
logic Petri net
A Logic Petri Net-Based Method for Repairing Process Models With Concurrent Blocks
期刊论文
IEEE ACCESS, 2019, 卷号: 7, 页码: 8266-8282
作者:
Teng, Yuanxiu
;
Du, Yuyue
;
Qi, Liang
;
Luan, Wenjing
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/11
Process model
model repair
logic Petri net
process tree
alignment
Deadlock and Blockage Control of Automated Manufacturing Systems with an Unreliable Resource
期刊论文
Asian Journal of Control, 2018
作者:
Luo, JianChao
;
Xing, KeYi
;
Zhou, MengChu
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/11/26
Automated manufacturing systems
Control problems
Deadlock avoidance
Deadlock-free operations
Order policies
Petri net models
Polynomial complexity
Resource failures
An Approach for Repairing Process Models Based on Logic Petri Nets
期刊论文
IEEE ACCESS, 2018, 卷号: 6, 页码: 29926-29939
作者:
Zhang, Xize
;
Du, Yuyue
;
Qi, Liang
;
Sun, Haichun
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/11
Process mining
consistency checking
logic Petri net
model repair
©版权所有 ©2017 CSpace - Powered by
CSpace