Sequence of control in S3PMR - Shih, Yu-Ying.; Chao, Daniel
Keywords: Deadlock prevention; Petri nets; Siphons