中文版 | English

在结果中检索

CASIA OpenIR

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

已选(0)清除 条数/页：   排序方式：
基于平行Petri网的制造系统调度与控制一体化方法 期刊论文
自动化学报, 2023, 卷号: 49, 期号: 4, 页码: 845-856
作者:  李大成;  罗继亮;  孙莎莎;  聂维余;  聂卓赟;  方慧娟
Adobe PDF(6319Kb)  |  收藏  |  浏览/下载：44/18  |  提交时间：2024/05/09
调度  控制  平行Petri网  赋时Petri网  
基于Petri网的组合设备建模与调度综述 期刊论文
自动化学报, 2023, 卷号: 49, 期号: 5, 页码: 929-948
作者:  袁凤连;  黄波;  王际鹏;  潘春荣
Adobe PDF(2707Kb)  |  收藏  |  浏览/下载：44/16  |  提交时间：2024/05/09
晶圆制造  Petri网  组合设备  建模  调度  
State-Based Opacity Verification of Networked Discrete Event Systems Using Labeled Petri Nets 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2024, 卷号: 11, 期号: 5, 页码: 1274-1291
作者:  Yifan Dong;  Naiqi Wu;  Zhiwu Li
Adobe PDF(7338Kb)  |  收藏  |  浏览/下载：77/28  |  提交时间：2024/04/10
Labeled Petri net  multi-valued decision diagram  networked discrete event system  state-based opacity  
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
Adobe PDF(855Kb)  |  收藏  |  浏览/下载：115/45  |  提交时间：2024/01/02
Cyber-attacks  cyber-physical system (CPS)  liveness  non-deterministic supervisors  Petri net (PN)  
Innovative Services for Electric Mobility Based on Virtual Sensors and Petri Nets 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2023, 卷号: 10, 期号: 9, 页码: 1845-1859
作者:  Agostino Marcello Mangini;  Michele Roccotelli
Adobe PDF(4217Kb)  |  收藏  |  浏览/下载：145/44  |  提交时间：2023/08/10
Charge point booking  electric mobility  EV charging  Petri Net  virtual sensor  
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
Adobe PDF(1671Kb)  |  收藏  |  浏览/下载：126/36  |  提交时间：2022/12/02
Cloud resource management process  multi-instance Petri nets (MPNs)  multi-instance sub-processes  process discovery  quality evaluation  
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
收藏  |  浏览/下载：232/0  |  提交时间：2022/01/27
Games  Task analysis  Problem-solving  Petri nets  Random forests  Training  Radio frequency  Learning optimization  Petri nets (PNs)  serious game (SG)  
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
Adobe PDF(1372Kb)  |  收藏  |  浏览/下载：273/75  |  提交时间：2021/11/03
Petri nets (PNs)  problem decomposition  resource-allocation systems  siphons  
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
Adobe PDF(1761Kb)  |  收藏  |  浏览/下载：160/46  |  提交时间：2021/04/09
Modeling  Petri nets  property preservation  subnet  synthesis  
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
Adobe PDF(12009Kb)  |  收藏  |  浏览/下载：181/34  |  提交时间：2021/04/09
Deadlock prevention  Petri nets  robotic manufacturing cells  structure-minimized supervisor  supervisory control  uncontrollability  unobservability