{"article":{"@attributes":{"key":"journals\/automatica\/GuML24","mdate":"2024-07-26"},"author":["Chao Gu","Ziyue Ma","Zhiwu Li 0001"],"title":"Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs.","pages":"111625","year":"2024","volume":"164","journal":"Autom.","ee":"https:\/\/doi.org\/10.1016\/j.automatica.2024.111625","url":"db\/journals\/automatica\/automatica164.html#GuML24","stream":"streams\/journals\/automatica"}}