中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

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

条数/页： 排序方式：
Computation of Minimal Siphons in Petri Nets Using Problem Partitioning Approaches 期刊论文  OAI收割
IEEE/CAA Journal of Automatica Sinica, 2022, 卷号: 9, 期号: 2, 页码: 329-338
作者:  Dan You;  Oussama Karoui;  Shouguang Wang
  |  收藏  |  浏览/下载：40/0  |  提交时间：2021/11/03
Formal Modeling and Discovery of Multi-instance Business Processes: A Cloud Resource Management Case Study 期刊论文  OAI收割
IEEE/CAA Journal of Automatica Sinica, 2022, 卷号: 9, 期号: 12, 页码: 2151-2160
作者:  Cong Liu
  |  收藏  |  浏览/下载：13/0  |  提交时间：2022/12/02
A Learning-Embedded Attributed Petri Net to Optimize Student Learning in a Serious Game 期刊论文  OAI收割
IEEE TRANSACTIONS ON COMPUTATIONAL SOCIAL SYSTEMS, 2021, 页码: 9
作者:  Liang, Jing;  Tang, Ying;  Hare, Ryan;  Wu, Ben;  Wang, Fei-Yue
  |  收藏  |  浏览/下载：34/0  |  提交时间：2022/01/27
Computation of an Emptiable Minimal Siphon in a Subclass of Petri Nets Using Mixed-Integer Programming 期刊论文  OAI收割
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 1, 页码: 219-226
作者:  Shouguang Wang;  Wenli Duo;  Xin Guo;  Xiaoning Jiang;  Dan You
  |  收藏  |  浏览/下载：35/0  |  提交时间：2021/04/09
Deadlock-free Supervisor Design for Robotic Manufacturing Cells With Uncontrollable and Unobservable Events 期刊论文  OAI收割
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 3, 页码: 597-605
作者:  Bo Huang;  MengChu Zhou;  Cong Wang;  Abdullah Abusorrah;  Yusuf Al-Turki
  |  收藏  |  浏览/下载：26/0  |  提交时间：2021/04/09
Property Preservation of Petri Synthesis Net Based Representation for Embedded Systems 期刊论文  OAI收割
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 4, 页码: 905-915
作者:  Chuanliang Xia;  Chengdong Li
  |  收藏  |  浏览/下载：23/0  |  提交时间：2021/04/09
An Approach to Locating Delayed Activities in Software Processes 期刊论文  OAI收割
International Journal of Automation and Computing, 2018, 卷号: 15, 期号: 1, 页码: 115-124
作者:  Yun-Zhi Jin;  Hua Zhou;  Hong-Ji Yang;  Si-Jing Zhang;  Ji-Dong Ge
  |  收藏  |  浏览/下载：8/0  |  提交时间：2021/02/23
A fast method to evaluate water eutrophication 期刊论文  OAI收割
JOURNAL OF CENTRAL SOUTH UNIVERSITY, 2016, 卷号: 23, 期号: 12, 页码: 3204-3216
作者:  Yan Hu-yong;  Wang Guo-yin;  Zhang Xue-rui;  Dong Jian-hua;  Shan Kun
  |  收藏  |  浏览/下载：32/0  |  提交时间：2018/03/15
Modelling and Performance Analysis of IEEE 802.11 DCF Using Coloured Petri Nets 期刊论文  OAI收割
COMPUTER JOURNAL, 2016, 卷号: 59, 期号: 10, 页码: 1563-1580
Hu, X; Jiao, L; Li, ZJ
  |  收藏  |  浏览/下载：18/0  |  提交时间：2016/12/09
Designing and Modeling of Covert Channels in Operating Systems 期刊论文  OAI收割
IEEE TRANSACTIONS ON COMPUTERS, 2016, 卷号: 65, 期号: 6, 页码: 1706-1719
Lin, YQ; Malik, SUR; Bilal, K; Yang, QS; Wang, YJ; Khan, SU
  |  收藏  |  浏览/下载：21/0  |  提交时间：2016/12/09