%0 Journal Article
%T Liveness and Boundedness of Decomposable Asymmetric Choice Nets<br>可分解非对称选择网的活性和有界性
%A XU Jing
%A LU Wei-ming
%A <br>徐静
%A 陆维明
%J 软件学报
%D 2002
%I 
%X Liveness and safeness are important behavioral properties of net systems. In this paper, a subclass of AC nets which are called decomposable asymmetric choice nets are obtained. A necessary and sufficient condition of liveness for decomposable AC systems is also proved. Moreover, a polynomial-time algorithm is presented to decide whether a Petri net system is live and bounded decomposable AC system.
%K Petri net
%K asymmetric choice net
%K decomposable asymmetric choice net
%K liveness
%K boundedness<br>Petri网
%K 非对称选择网
%K 可分解非对称选择网
%K 活性
%K 有界性
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=5A76702C5BBE061C&yid=C3ACC247184A22C1&vid=FC0714F8D2EB605D&iid=708DD6B15D2464E8&sid=F4E0DF030AC3A199&eid=31F0F67D06CBAD76&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=15