Deadlock and liveness characterization for a class of generalized Petri nets
Liu, Miao, Wang, ShouGuang, Zhou, MengChu, Liu, Ding, Al-Ahmari, Abdulrahman, Qu, Ting, Wu, NaiQi, Li, ZhiWu
Published in Information sciences (01.12.2017)
Published in Information sciences (01.12.2017)
Get full text
Journal Article
A new reachability tree for unbounded Petri nets
Yue Li, ShouGuang Wang, Jing Yang
Published in 2013 10th IEEE International Conference on Control and Automation (ICCA) (01.06.2013)
Published in 2013 10th IEEE International Conference on Control and Automation (ICCA) (01.06.2013)
Get full text
Conference Proceeding
New controllability condition for WS3PR nets
XuanXuan Guan, ShouGuang Wang, LiDa Dong, Jing Yang
Published in 2013 10th IEEE International Conference on Control and Automation (ICCA) (01.06.2013)
Published in 2013 10th IEEE International Conference on Control and Automation (ICCA) (01.06.2013)
Get full text
Conference Proceeding
A transformation algorithm for optimal admissible generalized mutual exclusion constraints on Petri nets with uncontrollable transitions
ShouGuang Wang, ChengYing Wang, MengChu Zhou
Published in 2011 IEEE International Conference on Robotics and Automation (01.05.2011)
Published in 2011 IEEE International Conference on Robotics and Automation (01.05.2011)
Get full text
Conference Proceeding
Deadlock prevention policy for a class of petri nets based on complementary places and elementary siphons
Wang, ShouGuang, Wu, WenHui, Yang, Jing
Published in Journal of intelligent manufacturing (01.04.2015)
Published in Journal of intelligent manufacturing (01.04.2015)
Get full text
Journal Article
Theory and technical framework of coal mine rock burst origin prevention
Qingxin QI, Shizhi MA, Xikui SUN, Shankun ZHAO, Yunpeng LI, Haitao LI, Bin YU, Pengzhi PAN, Shouguang WANG, Hong LI, Yizhe LI, Xudong WANG, Xiufeng ZHANG, Xuebin WANG, Hongyan LI, Caiping LU, Shuwen WANG, Jun HAN, Wenjun QIAO, Ningbo ZHANG
Published in Méitàn xuébào (01.05.2023)
Published in Méitàn xuébào (01.05.2023)
Get full text
Journal Article
A method of computing strict minimal siphons in an S3PR based on resource circuits
Shouguang Wang, Chengying Wang, Yanping Yu
Published in 49th IEEE Conference on Decision and Control (CDC) (01.12.2010)
Published in 49th IEEE Conference on Decision and Control (CDC) (01.12.2010)
Get full text
Conference Proceeding
An iterative Deadlock Prevention Policy Based on siphons
Zhuang, Qiaoli, Dai, Wenzhan, Wang, Shouguang, You, Dan, Du, Jingiing
Published in 2019 IEEE 16th International Conference on Networking, Sensing and Control (ICNSC) (01.05.2019)
Published in 2019 IEEE 16th International Conference on Networking, Sensing and Control (ICNSC) (01.05.2019)
Get full text
Conference Proceeding
An Improved Approach to Remove Redundant Monitors from Liveness-Enforcing Petri Net Supervisor
Wang Shouguang, Yu Junwen, Wang Erlei
Published in 2011 Fourth International Symposium on Knowledge Acquisition and Modeling (01.10.2011)
Published in 2011 Fourth International Symposium on Knowledge Acquisition and Modeling (01.10.2011)
Get full text
Conference Proceeding
On Computation of Resource Circuits in a Class of Petri Nets
Shouguang Wang, Chengying Wang, Yanping Yu
Published in 2011 Fourth International Symposium on Knowledge Acquisition and Modeling (01.10.2011)
Published in 2011 Fourth International Symposium on Knowledge Acquisition and Modeling (01.10.2011)
Get full text
Conference Proceeding
Fluid evolution of the Jiawula Ag-Pb-Zn deposit, Inner Mongolia: mineralogical, fluid inclusion, and stable isotopic evidence
Zhai, De-Gao, Liu, Jia-Jun, Wang, Jian-Ping, Yao, Mei-Juan, Wu, Sheng-Hua, Fu, Chao, Liu, Zhen-Jiang, Wang, Shou-Guang, Li, Yu-Xi
Published in International geology review (20.01.2013)
Published in International geology review (20.01.2013)
Get full text
Journal Article
Liveness Enforcement for a Class of Petri Nets via Resource Allocation
You, Dan, Wang, Shouguang, Dou, Hao, Duo, Wenli, Barkaoui, Kamel, Seatzu, Carla
Published in 2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC) (01.10.2018)
Published in 2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC) (01.10.2018)
Get full text
Conference Proceeding