화학공학소재연구정보센터
검색결과 : 62건
No. Article
1 Marking Estimation in Petri Nets Using Hierarchical Basis Reachability Graphs
Ma ZY, Zhu GH, Li ZW
IEEE Transactions on Automatic Control, 66(2), 810, 2021
2 Petri net simulation of multi-department emergency response to avert domino effects in chemical industry accidents
Zhou JF, Reniers G
Process Safety and Environmental Protection, 146, 916, 2021
3 An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems
Li L, Basile F, Li ZW
IEEE Transactions on Automatic Control, 65(1), 237, 2020
4 Structural Controller for Logical Expression of Linear Constraints on Petri Nets
Luo JL, Wu WM, Zhou MC, Shao H, Nonami K, Su HY
IEEE Transactions on Automatic Control, 65(1), 397, 2020
5 Marking Estimation in a Class of Time Labeled Petri Nets
Ma ZY, Li ZW, Giua A
IEEE Transactions on Automatic Control, 65(2), 493, 2020
6 Computation of Admissible Marking Sets in Weighted Synchronization-Free Petri Nets by Dynamic Programming
Ma ZY, Zhu GH, Li ZW, Giua A
IEEE Transactions on Automatic Control, 65(6), 2662, 2020
7 Deadlock characterization and control of flexible assembly systems with Petri nets
Xing KY, Wang F, Zhou MC, Lei H, Luo JC
Automatica, 87, 358, 2018
8 Model-based fault identification of discrete event systems using partially observed Petri nets
Zhu GH, Li ZW, Wu NQ
Automatica, 96, 201, 2018
9 Performance Optimization for Timed Weighted Marked Graphs Under Infinite Server Semantics
He Z, Li ZW, Giua A
IEEE Transactions on Automatic Control, 63(8), 2573, 2018
10 Control design of timed continuous Petri nets via model predictive constant control
Taleb M, Leclercq E, Lefebvre D
International Journal of Control, 91(8), 1962, 2018