Using theory of regions with selective siphon control for deadlock prevention policy in Petri nets.

Yen-Liang Pan, Yi-Sheng Huang, MuDer Jeng, Sheng-Luen Chung

Browse the full SMC paper archive.