主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
夏传良,焦莉,陆维明.Petri网共享PP-型子网合成性质分析.软件学报,2007,18(1):22-32
Petri网共享PP-型子网合成性质分析
Property Analysis of Synthesis of Petri Nets Shared PP-Type Subnets
投稿时间:2005-04-22  修订日期:2006-04-03
DOI:
中文关键词:  Petri网  分析  合成  活性和有界性  子网
英文关键词:Petri net  analysis  synthesis  liveness and boundedness  subnet
基金项目:Supported by the National Natural Science Foundation of China under Grant No.60073013 (国家自然科学基金); the National Grand Fundamental Research 973 Program of China under Grant No.G1998030416 (国家重点基础研究发展规划(973))
作者单位
夏传良 中国科学院,数学与系统科学研究院,计算机科学研究室,北京,100080
计算机科学重点实验室(中国科学院,软件研究所),北京,100080
山东建筑大学,计算机科学与技术学院,山东,济南,250101 
焦莉 计算机科学重点实验室(中国科学院,软件研究所),北京,100080 
陆维明 中国科学院,数学与系统科学研究院,计算机科学研究室,北京,100080 
摘要点击次数: 3009
全文下载次数: 3157
中文摘要:
      Petri网合成可以避免状态空间按指数阶迅速扩大的问题,并且在网扩大时可以保持原网的某些优良性质.为了解决资源共享问题,焦莉等人对于一个满足死锁-陷阱性质(ST-property)的非对称选择网(asymmetric choice,简称AC)进行库所合并,给出了合并后的网保持原网活性、有界性和可回复性的条件.主要动机是对焦莉等人的研究结果进行推广,把对于AC网的库所合并问题推广到AC网或更一般的Petri网上的子网共享合成问题.给出了使共享PP-型子网合成Petri网系统保持活性、有界性和可回复性的条件以及多个AC网进行共享PP-型子网合成,使得到的合成网仍为AC网的条件.结果可为Petri网系统合成的静态和动态性质的考察提供有效途径,为Petri网复杂大系统的分析提供一定的手段.
英文摘要:
      Petri net synthesis can avoid the state exploration problem, which is of exponential complexity, by guaranteeing the correctness in the Petri net while incrementally expanding the net. To solve the resource-sharing problem, Jiao L, et al., investigate the transformation of merging a set of places of an asymmetric choice (AC) net satisfying siphon-trap-property (ST-property), and present the conditions for it to preserve liveness, boundedness and reversibility. The major motivation of this paper is to generalize the results of Jiao’s research and to extend the place-merging problem to subnet-sharing synthesis problem on AC nets or Petri nets beyond AC nets. The conditions of liveness preservation, boundedness preservation and reversibility preservation are presented. The conditions are also presented to show that the synthesis net of AC nets is an AC net. These results are useful for studying the static and dynamic properties of Petri synthesis nets, and for analyzing properties of large complex system.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利