检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]山东科技大学理学院,山东青岛266510 [2]山东科技大学信息学院,山东青岛266510
出 处:《系统仿真学报》2007年第A01期47-48,54,共3页Journal of System Simulation
基 金:国家自然科学基金(60673053;60603090);山东省自然科学基金(Y2002G09);山东省优秀中青年科学家奖励基金(2006BS01019)。
摘 要:T-时延离散Petri网(TTDPN)常用来描述与时间有关的离散系统,因而研究其运行原理及性质是必要的。首先给出了变迁可激发的定义及激发规则,然后讨论了T-时延离散Petri网的运行原理和可达标识图的构造方法,最后给出了两个性质。T-timed Discrete Petri Net(TTDPN) is often used to describe the discrete systems with time, so it is necessary to study the functioning Principle and Property. In this paper, the definition and rule of transition firing are first put forward, then the functioning Principle and generating method of reachable marking graph are discussed, finally, two properties of TTDPN are proposed.
关 键 词:T-时延离散Petri网 预定(非预定)标记 可达标识图 激发频率
分 类 号:TP301[自动化与计算机技术—计算机系统结构]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.222