中文版 | English

在结果中检索

CASIA OpenIR

浏览/检索结果: 共10条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
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
Adobe PDF(1671Kb)  |  收藏  |  浏览/下载：84/24  |  提交时间：2022/12/02
Cloud resource management process  multi-instance Petri nets (MPNs)  multi-instance sub-processes  process discovery  quality evaluation  
Computation of Minimal Siphons in Petri Nets Using Problem Partitioning Approaches 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2022, 卷号: 9, 期号: 2, 页码: 329-338
作者:  Dan You;  Oussama Karoui;  Shouguang Wang
Adobe PDF(1372Kb)  |  收藏  |  浏览/下载：238/57  |  提交时间：2021/11/03
Petri nets (PNs)  problem decomposition  resource-allocation systems  siphons  
Property Preservation of Petri Synthesis Net Based Representation for Embedded Systems 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 4, 页码: 905-915
作者:  Chuanliang Xia;  Chengdong Li
Adobe PDF(1761Kb)  |  收藏  |  浏览/下载：134/40  |  提交时间：2021/04/09
Modeling  Petri nets  property preservation  subnet  synthesis  
Computation of an Emptiable Minimal Siphon in a Subclass of Petri Nets Using Mixed-Integer Programming 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 1, 页码: 219-226
作者:  Shouguang Wang;  Wenli Duo;  Xin Guo;  Xiaoning Jiang;  Dan You;  Kamel Barkaoui;  MengChu Zhou
Adobe PDF(1617Kb)  |  收藏  |  浏览/下载：166/46  |  提交时间：2021/04/09
Automated manufacturing systems  deadlocks  discrete event system  mixed-integer programming (MIP)  Petri nets (PN)  siphons  
Parametric Transformation of Timed Weighted Marked Graphs: Applications in Optimal Resource Allocation 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 1, 页码: 179-188
作者:  Zhou He;  Ziyue Ma;  Zhiwu Li;  Alessandro Giua
Adobe PDF(1634Kb)  |  收藏  |  浏览/下载：138/27  |  提交时间：2021/04/09
Discrete event system  resource allocation  timed Petri net  weighted marked graph  
Control of elementary and dependent siphons in Petri nets and their application 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2008, 卷号: 38, 期号: 1, 页码: 133-148
作者:  Li, Zhiwu;  Zhou, MengChu
收藏  |  浏览/下载：129/0  |  提交时间：2015/11/08
Automated Manufacturing System  Deadlock Control  Deadlock Prevention  Elementary Siphon  Flexible Manufacturing System  Petri Net  
On siphon computation for deadlock control in a class of Petri nets 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2008, 卷号: 38, 期号: 3, 页码: 667-679
作者:  Li, ZhiWu;  Zhou, MengChu
收藏  |  浏览/下载：125/0  |  提交时间：2015/11/08
Automated Manufacturing System  Deadlock Prevention  Elementary Siphon  Flexible Manufacturing System (Fms)  Petri Net  Resource Allocation System  Siphon  
Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets 期刊论文
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2006, 卷号: 2, 期号: 4, 页码: 313-325
作者:  Li, ZhiWu;  Zhou, MengChu
收藏  |  浏览/下载：158/0  |  提交时间：2015/11/07
Deadlock Prevention  Elementary Siphon  Flexible  Manufacturing System  Petri Net  Siphon  
Clarifications on the definitions of elementary siphons in Petri nets 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2006, 卷号: 36, 期号: 6, 页码: 1227-1229
作者:  Li, ZhiWu;  Zhou, MengChu
收藏  |  浏览/下载：216/0  |  提交时间：2015/11/07
Elementary Siphon  Independent Siphon  Petri Net  
Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2004, 卷号: 34, 期号: 1, 页码: 38-51
作者:  Li, ZW;  Zhou, MC
收藏  |  浏览/下载：190/0  |  提交时间：2015/11/06
Deadlock Prevention  Flexible Manufacturing Systems  Petri Nets  Siphons