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

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

条数/页： 排序方式：
State-Based Opacity Verification of Networked Discrete Event Systems Using Labeled Petri Nets 期刊论文  OAI收割
IEEE/CAA Journal of Automatica Sinica, 2024, 卷号: 11, 期号: 5, 页码: 1274-1291
作者:  Yifan Dong;  Naiqi Wu;  Zhiwu Li
  |  收藏  |  浏览/下载：29/0  |  提交时间：2024/04/10
Non-Deterministic Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks 期刊论文  OAI收割
IEEE/CAA Journal of Automatica Sinica, 2024, 卷号: 11, 期号: 1, 页码: 240-248
作者:  Dan You;  Shouguang Wang
  |  收藏  |  浏览/下载：21/0  |  提交时间：2024/01/02
基于平行Petri网的制造系统调度与控制一体化方法 期刊论文  OAI收割
自动化学报, 2023, 卷号: 49, 期号: 4, 页码: 845-856
作者:  李大成;  罗继亮;  孙莎莎;  聂维余;  聂卓赟
  |  收藏  |  浏览/下载：12/0  |  提交时间：2024/05/09
基于Petri网的组合设备建模与调度综述 期刊论文  OAI收割
自动化学报, 2023, 卷号: 49, 期号: 5, 页码: 929-948
作者:  袁凤连;  黄波;  王际鹏;  潘春荣
  |  收藏  |  浏览/下载：15/0  |  提交时间：2024/05/09
Innovative Services for Electric Mobility Based on Virtual Sensors and Petri Nets 期刊论文  OAI收割
IEEE/CAA Journal of Automatica Sinica, 2023, 卷号: 10, 期号: 9, 页码: 1845-1859
作者:  Agostino Marcello Mangini;  Michele Roccotelli
  |  收藏  |  浏览/下载：22/0  |  提交时间：2023/08/10
Modelling and Analysis of Adaptive Cruise Control System Based on Synchronization Theory of Petri Nets 期刊论文  OAI收割
ELECTRONICS, 2022, 卷号: 11, 期号: 21, 页码: 11
作者:  Guo, Qi;  Yu, Wangyang;  Hao, Fei;  Zhou, Yuke;  Liu, Yuan
  |  收藏  |  浏览/下载：43/0  |  提交时间：2022/12/20
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
  |  收藏  |  浏览/下载：45/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
  |  收藏  |  浏览/下载：19/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
  |  收藏  |  浏览/下载：46/0  |  提交时间：2022/01/27
Computational fluid dynamics modelling of quasi-collimated beam apparatus - a typical bench scale UV apparatus for water treatment 期刊论文  OAI收割
WATER SCIENCE AND TECHNOLOGY, 2021, 卷号: 83, 期号: 10, 页码: 2526-2535
作者:  Lian, Junfeng;  Sun, Liangmin;  Jiang, Chong;  Li, Wentao;  Zhu, Yichun
  |  收藏  |  浏览/下载：24/0  |  提交时间：2021/12/23