%0 Journal Article
%T Property of Liveness in Sequential Resource Allocation Systems Based on Petri Net<br>基于Petri网的顺序资源分配系统活性的一个性质
%A YUE Hao
%A <br>岳昊
%J 计算机科学
%D 2011
%I 
%X 具有多资源需求和柔性加工路径的顺序资源分配系统(Sequential Resource Allocation Systems with Multiple Resource Acquisitions and Flexible Routings,C/D-RAS)是一类较复杂的、更为一般的资源分配系统。考察了两个与 C/D-RAS密切相关的活性问题。借助这两个C/D-RAS的Petri网模型来定义标识S3 PGR2网对((N1,Mm),(N2，M02)，由标识S3 PGR2网中资源种类、数量的守恒性和变迁使能的一个充分必要条件，证明(N1 ,M01)和(N2,M02)的合法变迁发生序列是一致的，据此得出的最终结论是(N1,M01,)和(N2,M02)具有相同的活性。最后，简要提及本结论的应用。
%K Petri net
%K Resource allocation systems
%K Liveness<br>Petri网，资源分配系统，活性
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=72053D4ED82EC3FD4F2B0C2BC8D276F5&yid=9377ED8094509821&vid=16D8618C6164A3ED&iid=E158A972A605785F&sid=866F8A6B640835A7&eid=273ADA1BCEFE8C00&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=8