规范流网中OR-join任务的语义及使能判定算法

Semantics and Implementation of the OR-join in Regular Flow Nets

CAO Guorong ⁺, TAN Qingping, WU Hao, XIE Jingang

Journal of Frontiers of Computer Science and Technology . 2010, (6): 542 -551 . DOI: 10.3778/j.issn.1673-9418.2010.06.006