Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations
Ziyue Ma, Zhiwu Li, Giua, Alessandro
Published in IEEE transactions on automatic control (01.03.2017)
Published in IEEE transactions on automatic control (01.03.2017)
Get full text
Journal Article
Verification of State-Based Opacity Using Petri Nets
Yin Tong, Zhiwu Li, Seatzu, Carla, Giua, Alessandro
Published in IEEE transactions on automatic control (01.06.2017)
Published in IEEE transactions on automatic control (01.06.2017)
Get full text
Journal Article
Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem
Ziyue Ma, Yin Tong, Zhiwu Li, Giua, Alessandro
Published in IEEE transactions on automatic control (01.03.2017)
Published in IEEE transactions on automatic control (01.03.2017)
Get full text
Journal Article
Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
Ziyue Ma, Zhiwu Li, Giua, Alessandro
Published in IEEE transactions on automatic control (01.07.2015)
Published in IEEE transactions on automatic control (01.07.2015)
Get full text
Journal Article
On the enforcement of a class of nonlinear constraints on Petri nets
Chen, YuFeng, Li, ZhiWu, Barkaoui, Kamel, Giua, Alessandro
Published in Automatica (Oxford) (01.05.2015)
Published in Automatica (Oxford) (01.05.2015)
Get full text
Journal Article
On the Equivalence of Observation Structures for Petri Net Generators
Yin Tong, Zhiwu Li, Giua, Alessandro
Published in IEEE transactions on automatic control (01.09.2016)
Published in IEEE transactions on automatic control (01.09.2016)
Get full text
Journal Article
Anomaly detection based on a granular Markov model
Zhou, Yanjun, Ren, Huorong, Li, Zhiwu, Pedrycz, Witold
Published in Expert systems with applications (01.01.2022)
Published in Expert systems with applications (01.01.2022)
Get full text
Journal Article
Tectonic evolution of the Sichuan Basin, Southwest China
Liu, Shugen, Yang, Yu, Deng, Bin, Zhong, Yong, Wen, Long, Sun, Wei, Li, Zhiwu, Jansa, Luba, Li, Jinxi, Song, Jinmin, Zhang, Xihua, Peng, Hanling
Published in Earth-science reviews (01.02.2021)
Published in Earth-science reviews (01.02.2021)
Get full text
Journal Article
Clarifications on the Definitions of Elementary Siphons in Petri Nets
Li, Z., Zhou, M.
Published in IEEE transactions on systems, man and cybernetics. Part A, Systems and humans (01.11.2006)
Published in IEEE transactions on systems, man and cybernetics. Part A, Systems and humans (01.11.2006)
Get full text
Journal Article
On Siphon Computation for Deadlock Control in a Class of Petri Nets
Li, ZhiWu, Zhou, MengChu
Published in IEEE transactions on systems, man and cybernetics. Part A, Systems and humans (01.05.2008)
Published in IEEE transactions on systems, man and cybernetics. Part A, Systems and humans (01.05.2008)
Get full text
Journal Article
Reconfigurable Coordination of Distributed Discrete Event Control Systems
Jiafeng Zhang, Khalgui, Mohamed, Zhiwu Li, Frey, Georg, Mosbahi, Olfa, Ben Salah, Hela
Published in IEEE transactions on control systems technology (01.01.2015)
Published in IEEE transactions on control systems technology (01.01.2015)
Get full text
Journal Article