检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]长沙理工大学公路工程学院 [2]吉首大学数学与计算机科学系 [3]长沙理工大学公路工程学院长沙410076
出 处:《系统仿真学报》2007年第A01期110-113,共4页Journal of System Simulation
基 金:湖南省教育厅科研基金重点资助项目(06A003)
摘 要:Petri网是系统建模和行为分析的有力工具,在很多领域得到广泛应用。但"节点过多,状态爆炸"是阻碍Petri网技术发展的瓶颈问题,尤其对于目前很多大而复杂的系统,其分析非常复杂。化简Petri网一直是Petri网工作者研究的重点,将Petri网分解为若干子网是一种非常有效的化简方法。对Petri网的并分解技术进行了研究,依据并分解定义提出了一种将无环路、多输出库所网分解为若干个单一输出库所子网的新技术。Petri net is a powerful tool for modeling and analyzing systems. It is widely used in a lot of kinds of fields. But there is a problem which bars Petri net development: too much nodes lead to "station explosion", specially when analysing a large and complicated system. How to simplify the Petri net is always an important task for the petri net researchers .This test discusses the union decomposition techenology of Petri net ,and puts forward a new technology to decompose the net with no loop, multi-output.
分 类 号:TP301.6[自动化与计算机技术—计算机系统结构]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.15