%0 Journal Article %1 journals/jzusc/WangWZW12 %A xia Wang, Zhao %A min Wang, Jian %A chen Zhu, Xiao %A jie Wen, Li %D 2012 %J J. Zhejiang Univ. Sci. C %K dblp %N 7 %P 483-509 %T Verification of workflow nets with transition conditions. %U http://dblp.uni-trier.de/db/journals/jzusc/jzusc13.html#WangWZW12 %V 13

@article{journals/jzusc/WangWZW12, added-at = {2023-10-02T00:00:00.000+0200}, author = {xia Wang, Zhao and min Wang, Jian and chen Zhu, Xiao and jie Wen, Li}, biburl = {https://www.bibsonomy.org/bibtex/2f5dad4a82bbadd3ed86e3363a03f7515/dblp}, ee = {https://doi.org/10.1631/jzus.C1100364}, interhash = {eea720ed35c364f7a36f906cab9a1754}, intrahash = {f5dad4a82bbadd3ed86e3363a03f7515}, journal = {J. Zhejiang Univ. Sci. C}, keywords = {dblp}, number = 7, pages = {483-509}, timestamp = {2024-04-08T12:33:23.000+0200}, title = {Verification of workflow nets with transition conditions.}, url = {http://dblp.uni-trier.de/db/journals/jzusc/jzusc13.html#WangWZW12}, volume = 13, year = 2012 }