One-Step Look-Ahead Maximally Permissive Deadlock Control of AMS by Using Petri Nets

Naiqi Wu, MengChu Zhou, Gang Hu. One-Step Look-Ahead Maximally Permissive Deadlock Control of AMS by Using Petri Nets. ACM Trans. Embedded Comput. Syst., 12(1):10, 2013. [doi]

Bibliographies