%0 Journal Article
%T 正则Petri网的研究
%A 熊超越
%A 丁国俊
%J 计算机科学
%D 1999
%I 
%X State equation method based on incidence matrix ,which shows the structural property of Petri Nets ,has been used widely in the reachability analysis ot Petri Nets. However,due to the state explosion, the complexity of this method increased exponentially when the rank of this incidence matrix is not full. So in this paper ,a new Petri Net model——full rank Petri Net has been proposed to solve this problem.
%K 正则Petri网
%K 异步并发系统
%K 发生率矩阵
%K 满秩
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=7B19101905529E1C544DF5C44BC11787&yid=B914830F5B1D1078&vid=96C778EE049EE47D&iid=B31275AF3241DB2D&sid=7E8E8B150580E4AB&eid=CFAC5CB624A41AFD&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0