着色Petri网的结构展开方法

来源 :系统工程理论与实践 | 被引量 : 0次 | 上传用户：sgjies

【摘要】

：

为提升着色Petri网的设计分析与模型检验能力,讨论了着色Petri网的结构化展开技术.以着色Petri网的令牌单元和绑定单元为基元,通过对着色Petri网展开为普通Petri网的等价性证

【作者】

：

宋阿妮王明哲郭法滨倪枫

【机构】

：

华中科技大学控制科学与工程系,武汉,430074

【出处】

：

系统工程理论与实践

【发表日期】

：

2011年2期

【关键词】

：

着色Petri网普通Petri网关联矩阵展开

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

为提升着色Petri网的设计分析与模型检验能力,讨论了着色Petri网的结构化展开技术.以着色Petri网的令牌单元和绑定单元为基元,通过对着色Petri网展开为普通Petri网的等价性证明,提出了基于着色Petri网关联矩阵和标准元语言的展开规则和规范化步骤.研究结果为着色Petri网到普通Petri网的自动转换过程和着色Petri网验证提供了有力支持.

其他文献

带启动时间的N-策略M/G/1排队系统的队长

考虑带启动时间的N-策略M/G/1排队系统,从任意初始状态出发,直接研究了系统队长的瞬态分布和稳态分布.通过引进的“服务员忙期”,使用全概率分解技术和拉普拉斯变换,导出了在

期刊

N-策略排队启动时间队长分布随机分解全概率分解技术

Journal of Jiangsu Normal University (Natural Science Edition) Vol.32(2014) Total Contents

为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7

期刊

可分资产的在线租赁策略及其竞争分析

基于现实租赁活动中有许多租赁现象属于连续可分资产的在线租赁问题,应用在线问题之竞争分析的方法讨论了其在线租赁的最优决策方案.首先针对所租赁资产连续可分的特点,提出

期刊

可分资产在线租赁问题风险控制策略竞争比

拉萨市城关区居民血糖、血脂状况调杏

目的了解拉萨市居民血糖、血脂状况,为采取有针对性的预防措施提供依据.方法对西藏自治区拉萨市城关区570名居民的血糖、血脂进行检测,分析其血糖、血脂水平的年龄及性别分

期刊

拉萨市居民血糖血脂

罗丹明B荧光猝灭法测定痕量Cr(Ⅵ)的研究

基于六价铬与碘化钾反应生成了单质碘,碘可以使罗丹明B发生荧光猝灭,从而间接测定六价铬的含量.六价铬浓度在0.01～0.5μg/mL范围内,荧光强度差值与六价铬浓度呈线形关系,线性

期刊

荧光猝灭法单质碘罗丹明BCr(Ⅵ)

盐酸多西环素-氟苯尼考(福斯停)对家禽细菌性疾病的试验研究

用盐酸多西环素和氟苯尼考的复方制剂-福斯停对66株家禽病原菌药敏试验,对55株致病菌的体外药效学研究及禽大肠杆菌病、沙门氏菌病、传染性浆膜炎和葡萄球菌病的临床治疗研究

期刊

福斯停药敏试验药效学试验禽细菌性疾病临床疗效

一种同时测量分子间多量子相干横向弛豫时间和自扩散系数的快速方法

提出一种可同时直接测量高极化核自旋体系分子间n阶多量子相干横向弛豫时间T2,n和自扩散系数Dn的一维核磁共振方法.实验结果表明:对于单组份单峰的高极化核自旋体系,分子间n(

期刊

核磁共振分子间多量子相干横向弛豫时间自扩散系数

基于粗糙集理论的模糊综合评判权值确定

模糊综合评判在圈闭、区带等含油气性有利区预测及其优劣程度进行定量分析评价中发挥着非常重要的作用。在模糊综合评判中，参评地质因素的权值确定也非常重要。应用粗糙集理论

期刊

粗糙集权重系数圈闭评价

基于效用替代率的物资储备量模型与算法

研究在物资储备有容量限制且需求未知的情形下,考虑多种物资之间具有替代性时应如何决定各物资的储备量,使得所有储备物资在满足需求时带来的效用尽可能大的物资储备问题.对

期刊

效用替代率物资储备贪婪算法近似比

引导函数支配的进化模糊聚类算法

建立了多维属性样本的模糊聚类目标函数.构建了引导进化算法收敛的指数函数曲线模型,给出了模型的参数计算方法.设计了一种具有全局变异和局部变异算子的进化模糊聚类算法,根

期刊

模糊聚类进化算法引导函数支配局部变异算子

着色Petri网的结构展开方法

与本文相关的学术论文