%0 Journal Article %1 journals/mscs/Xia14 %A Xia, Chuanliang %D 2014 %J Math. Struct. Comput. Sci. %K dblp %N 5 %T Liveness and boundedness analysis of Petri net synthesis. %U http://dblp.uni-trier.de/db/journals/mscs/mscs24.html#Xia14 %V 24

@article{journals/mscs/Xia14, added-at = {2020-04-01T00:00:00.000+0200}, author = {Xia, Chuanliang}, biburl = {https://www.bibsonomy.org/bibtex/210f3b6c4f9d6c7b8666d11ec6782e13e/dblp}, ee = {https://doi.org/10.1017/S0960129512000515}, interhash = {f176685f2326eea8f49436d228c0fe9c}, intrahash = {10f3b6c4f9d6c7b8666d11ec6782e13e}, journal = {Math. Struct. Comput. Sci.}, keywords = {dblp}, number = 5, timestamp = {2020-04-02T11:40:22.000+0200}, title = {Liveness and boundedness analysis of Petri net synthesis.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs24.html#Xia14}, volume = 24, year = 2014 }