Li Jiao, To-Yat Cheung. Compositional Verification for Workflow Nets. Journal of Circuits, Systems, and Computers, 15(4):551-570, 2006. [doi]
@article{JiaoC06:1, title = {Compositional Verification for Workflow Nets}, author = {Li Jiao and To-Yat Cheung}, year = {2006}, doi = {10.1142/S0218126606003167}, url = {http://dx.doi.org/10.1142/S0218126606003167}, tags = {composition, source-to-source, peer-to-peer, workflow, open-source}, researchr = {https://researchr.org/publication/JiaoC06%3A1}, cites = {0}, citedby = {0}, journal = {Journal of Circuits, Systems, and Computers}, volume = {15}, number = {4}, pages = {551-570}, }