A Petri-Net Based Modeling Apporach to Concurrent Software Engineering Tasks. - Jau-Ji Shen; S. Wesley Changchien; Tao-Yuan Lin (J. Inf. Sci. Eng., 2005)