机构

• 自动化研究所 [24]
• 软件研究所 [23]
• 沈阳自动化研究所 [8]
• 数学与系统科学研究院 [2]
• 地理科学与资源研究所 [1]
• 重庆绿色智能技术研究... [1]
• 更多

采集方式

• OAI收割 [59]

内容类型

• 期刊论文 [34]
• 会议论文 [17]
• 学位论文 [6]
• EI期刊论文 [1]
• 专著章节/文集论文 [1]

发表日期

• 2022 [2]
• 2021 [4]
• 2018 [1]
• 2016 [3]
• 2014 [1]
• 2012 [1]
• 更多

学科主题

• Computer S... [1]
• Computer S... [1]
• Computer S... [1]
• Computer S... [1]
• Engineerin... [1]

筛选

浏览/检索结果: 共59条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 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   |  收藏  |   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   |  收藏  |   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   |  收藏  |   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   |  收藏  |   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 作者:     |  收藏  |   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   |  收藏  |   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   |  收藏  |   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   |  收藏  |   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   |  收藏  |   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   |  收藏  |