iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.uni-trier.de/rec/journals/tsmc/DouZWA24.xml
Hao Dou MengChu Zhou Shouguang Wang Aiiad Albeshri An Efficient Liveness Analysis Method for Petri Nets via Maximally Good-Step Graphs. 3908-3919 2024 July 54 IEEE Trans. Syst. Man Cybern. Syst. 7 https://doi.org/10.1109/TSMC.2024.3372941 db/journals/tsmc/tsmc54.html#DouZWA24