{"inproceedings":{"@attributes":{"key":"conf\/cdc\/GuMLG19","mdate":"2022-04-29"},"author":["Chao Gu","Ziyue Ma","Zhiwu Li 0001","Alessandro Giua"],"title":"Verification of Nonblockingness in Bounded Petri Nets With a Semi-Structural Approach.","pages":"6718-6723","year":"2019","booktitle":"CDC","ee":"https:\/\/doi.org\/10.1109\/CDC40024.2019.9029407","crossref":"conf\/cdc\/2019","url":"db\/conf\/cdc\/cdc2019.html#GuMLG19"}}