CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
Non-Deterministic Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2024, 卷号: 11, 期号: 1, 页码: 240-248
作者:  Dan You;  Shouguang Wang
收藏  |  浏览/下载：1/0  |  提交时间：2024/01/02
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
收藏  |  浏览/下载：61/0  |  提交时间：2021/11/03
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
收藏  |  浏览/下载：31/0  |  提交时间：2021/04/09
Petri net-based scheduling strategy and energy modeling for the cylinder block remanufacturing under uncertainty 期刊论文
ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING, 2019, 卷号: 58, 页码: 208-219
作者:  Peng, Shitong;  Li, Tao;  Zhao, Jiali;  Guo, Yanchun;  Lv, Shengping
收藏  |  浏览/下载：2/0  |  提交时间：2019/11/15
Petri net methodology for optimisation of heat integration and batch process scheduling 会议论文
Conference on Process Integration, Modelling and Optimisation for Energy Saving and Pollution Reduction (PRES), Kuching, MALAYSIA, Augest 22-27, 2015
作者:  Jia Y(贾洋);  Xiao W(肖武);  Ruan XH(阮雪华);  He GH(贺高红);  Jia, Xiaoping
收藏  |  浏览/下载：17/0  |  提交时间：2015/11/23
Transformation of Logical Workflow Nets 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2014, 卷号: 44, 期号: 10, 页码: 1401-1412
作者:  Liu, Wei;  Du, YuYue;  Zhou, MengChu;  Yan, Chun
收藏  |  浏览/下载：4/0  |  提交时间：2019/12/17
Petri net methodology for optimisation of heat integration and batch process scheduling 会议论文
6th International Conference on Process Systems Engineering (PSE ASIA), Kuala Lumpur, June 25-27, 2013
作者:  Jia Y(贾洋);  Xiao W(肖武);  He GH(贺高红)
收藏  |  浏览/下载：13/0  |  提交时间：2015/11/22
Deadlock-Free Genetic Scheduling Algorithm for Automated Manufacturing Systems Based on Deadlock Control Policy 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2012, 卷号: 42, 期号: [db:dc_citation_issue], 页码: 603-615
作者:  Xing, Ke Yi;  Han, LiBin;  Zhou, MengChu;  Wang, Feng
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/10
含有否定命题逻辑推理的一致性模糊Petri网模型 期刊论文
2010, 2010
汪洋; 林闯; 曲扬; 李雅娟; WANG Yang; LIN Chuang; QU Yang; LI Ya-juan
收藏  |  浏览/下载：4/0
Application of Petri nets for deadlock analysis and avoidance in flexible manufacturing systems 期刊论文
2010, 2010
Han, ZD; Lee, G
收藏  |  浏览/下载：4/0  |  提交时间：2017/06/15

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