CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
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
收藏  |  浏览/下载：63/0  |  提交时间：2021/11/03
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
收藏  |  浏览/下载：1/0  |  提交时间：2022/12/02
A Learning-Embedded Attributed Petri Net to Optimize Student Learning in a Serious Game 期刊论文
IEEE TRANSACTIONS ON COMPUTATIONAL SOCIAL SYSTEMS, 2021, 页码: 9
作者:  Liang, Jing;  Tang, Ying;  Hare, Ryan;  Wu, Ben;  Wang, Fei-Yue
收藏  |  浏览/下载：34/0  |  提交时间：2022/01/27
Formal modeling and security analysis method of security protocol based on CPN 期刊论文
Tongxin Xuebao/Journal on Communications, 2021, 卷号: 42, 期号: 9, 页码: 240-253
作者:  Gong, Xiang;  Feng, Tao;  Du, Jinze
收藏  |  浏览/下载：9/0  |  提交时间：2022/02/17
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
收藏  |  浏览/下载：34/0  |  提交时间：2021/04/09
Deadlock-free Supervisor Design for Robotic Manufacturing Cells With Uncontrollable and Unobservable Events 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 3, 页码: 597-605
作者:  Bo Huang;  MengChu Zhou;  Cong Wang;  Abdullah Abusorrah;  Yusuf Al-Turki
收藏  |  浏览/下载：24/0  |  提交时间：2021/04/09
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
收藏  |  浏览/下载：14/0  |  提交时间：2021/04/09
A deadlock control algorithm using control transitions for flexible manufacturing systems modelling with Petri nets 期刊论文
INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 2020, 卷号: 51, 期号: 5, 页码: 771-785
作者:  Li Shaoyong;  Zhao Chunrun
收藏  |  浏览/下载：12/0  |  提交时间：2020/06/02
Deadlock control policy using control transitions for flexible manufacturing systems 期刊论文
Kongzhi Lilun Yu Yingyong/Control Theory and Applications, 2019, 卷号: 36, 期号: 5, 页码: 795-802
作者:  Li, Shao-Yong;  Sun, Zhi-Dong;  Cai, Ying;  Hou, Cai-Qin;  Han, Xi-Lian
收藏  |  浏览/下载：2/0  |  提交时间：2020/11/14
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
收藏  |  浏览/下载：14/0  |  提交时间：2020/11/14

©版权所有 ©2017 CSpace - Powered by CSpace