%0 Journal Article %1 journals/tsmc/ZengLLDZ15 %A Zeng, Qingtian %A Lu, Faming %A Liu, Cong %A Duan, Hua %A Zhou, Changhong %D 2015 %J IEEE Trans. Syst. Man Cybern. Syst. %K dblp %N 2 %P 349-362 %T Modeling and Verification for Cross-Department Collaborative Business Processes Using Extended Petri Nets. %U http://dblp.uni-trier.de/db/journals/tsmc/tsmc45.html#ZengLLDZ15 %V 45

@article{journals/tsmc/ZengLLDZ15, added-at = {2020-05-20T00:00:00.000+0200}, author = {Zeng, Qingtian and Lu, Faming and Liu, Cong and Duan, Hua and Zhou, Changhong}, biburl = {https://www.bibsonomy.org/bibtex/2269cc9bde43dcd7bc17b36a6bd02c765/dblp}, ee = {https://doi.org/10.1109/TSMC.2014.2334276}, interhash = {9a6e03f74eb2a083fa5fa024b3199f1c}, intrahash = {269cc9bde43dcd7bc17b36a6bd02c765}, journal = {IEEE Trans. Syst. Man Cybern. Syst.}, keywords = {dblp}, number = 2, pages = {349-362}, timestamp = {2020-05-21T11:40:27.000+0200}, title = {Modeling and Verification for Cross-Department Collaborative Business Processes Using Extended Petri Nets.}, url = {http://dblp.uni-trier.de/db/journals/tsmc/tsmc45.html#ZengLLDZ15}, volume = 45, year = 2015 }