部分可控Petri网分布式死锁监控器设计

部分可控Petri网分布式死锁监控器设计

李海燕1，王艳萍1，周建勇2，刘久富2

Design of deadlock supervisor of partially controllable Petri nets

LI Haiyan1, WANG Yanping1, ZHOU Jianyong2, LIU Jiufu2

计算机工程与应用 . 2018, (8): 48 -54 . DOI: 10.3778/j.issn.1002-8331.1701-0157