S3PR相关论文
针对S3PR网的死锁预防问题,提出了一个有效的死锁预防控制算法,将用于死锁避免的C/D-RUN控制策略扩展到基于信标的死锁预防策略中,......
It has been a hot research topic to synthesize maximally permissive controllers with fewest monitors. So far, all maxima......
Li and Zhou propose to add monitors Vs to elementary siphons S only while controlling the rest of dependent siphons - im......
For responsiveness, in the Petri nets theory framework deadlock prevention policies based elementary siphons control are......