Liang Zhang, Shuzhen Yao, Jianxin Li. Formalizing workflow patterns with Extended Petri-Net. In Sixth International Conference on Natural Computation, ICNC 2010, Yantai, Shandong, China, 10-12 August 2010. pages 3164-3168, IEEE, 2010. [doi]
Abstract is missing.