|
已选(0)清除
条数/页： 排序方式： |
| 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) |  收藏 | 浏览/下载：14/4 | 提交时间：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) | 收藏 | 浏览/下载：69/31 | 提交时间：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) | 收藏 | 浏览/下载：103/33 | 提交时间：2023/08/10
Charge point booking electric mobility EV charging Petri Net virtual sensor |
| Parametric Transformation of Timed Weighted Marked Graphs: Applications in Optimal Resource Allocation 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 1, 页码: 179-188
作者: Zhou He; Ziyue Ma; Zhiwu Li; Alessandro Giua
Adobe PDF(1634Kb) | 收藏 | 浏览/下载：136/26 | 提交时间：2021/04/09
Discrete event system resource allocation timed Petri net weighted marked graph |
| Robust Deadlock Avoidance Policy for Automated Manufacturing System With Multiple Unreliable Resources 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2020, 卷号: 7, 期号: 3, 页码: 812-821
作者: Jianchao Luo; Zhiqiang Liu; Shuogang Wang; Keyi Xing
 浏览 | Adobe PDF(1251Kb) | 收藏 | 浏览/下载：103/35 | 提交时间：2021/03/11
Automated manufacturing system (AMS) deadlock avoidamce policy (DAP) modified Banker’s algorithm (MBA) Petri net |
| Model Predictive Control for Discrete and Continuous Timed Petri Nets 期刊论文
International Journal of Automation and Computing, 2018, 卷号: 15, 期号: 1, 页码: 25-38
作者: Marwa Taleb; Edouard Leclercq; Dimitri Lefebvre
浏览 | Adobe PDF(929Kb) | 收藏 | 浏览/下载：173/79 | 提交时间：2021/02/23
Model predictive control timed continuous Petri net (TCPN) T-timed discrete Petri net (T-TDPN) fluidification optimization constant control. |
| Modeling and Analysis of Artificial Transportation System Based on Multi-Agent Technology 会议论文
IEEE INTELLIGENT SYSTEMS, Toronto, Canada, September 17-20, 2006
作者: Feng He; Jan Holzbecher; Yuantao Li; Fei-Yue Wang ; Shuming Tang
 收藏 | 浏览/下载：87/0 | 提交时间：2020/10/27
Petri Nets Automated Highways Game Theory Multi-agent Systems Transportation Nash Equilibrium Petri Net Artificial Transportation System Game Theory Intersection Agents |
| Modeling Interactions in Artificial Transportation Systems Using Petri Net 会议论文
IEEE INTELLIGENT SYSTEMS, Toronto, Canada, September 17-20, 2006
作者: Fenghua Zhu; Zhixue Wang; Fei-Yue Wang; Shuming Tang
收藏 | 浏览/下载：69/0 | 提交时间：2020/10/27
Petri Nets Transportation Petri Net Artificial Transportation Systems Directive Communication Channels Road Network Modeling Sequential Communication System Automation Communication Channels Communication Systems |
| Dynamic invariance of Petri net 期刊论文
SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1997, 卷号: 40, 期号: 6, 页码: 605-611
作者: Jiang, CJ
收藏 | 浏览/下载：123/0 | 提交时间：2018/10/10
Petri Net Systems Behavior State Consistence |
| A Colored Petri Net Model for Connection Management Services in MMS 期刊论文
ACM SIGCOMM Computer Communication Review, 1989, 卷号: 19, 期号: 3, 页码: 76-98
作者: F. Y. Wang; K. Gildea; Alan Rubenstein
收藏 | 浏览/下载：58/0 | 提交时间：2017/07/15
Petri Net Manufacturing Message Specification (Mms) |
