主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
叶剑虹,宋文,孙世新.基于逻辑电路的Petri网化简方法.软件学报,2007,18(7):1553-1562
基于逻辑电路的Petri网化简方法
A Reduction Technique of Petri Nets Based on Logic Circuit
投稿时间:2006-10-08  修订日期:2006-11-30
DOI:
中文关键词:  Petri网  化简  逻辑代数  最大无圈子网
英文关键词:Petri net  reduction  logic algebra  maximal acyclic subnet
基金项目:Supported by the National Natural Science Foundation of China under Grant No.60473030 (国家自然科学基金); the Fundamental Research Foundation of Science and Technology Bureau of Sichuan Province of China under Grant No.03226125 (四川省科学技术厅应用基础课题基金)
作者单位
叶剑虹 电子科技大学,计算机科学与工程学院,四川,成都,610054
西华大学,数学与计算机学院,四川,成都,610039 
宋文 西华大学,数学与计算机学院,四川,成都,610039 
孙世新 电子科技大学,计算机科学与工程学院,四川,成都,610054 
摘要点击次数: 3255
全文下载次数: 3521
中文摘要:
      已有的Petri网化简方法需将网的局部结构与化简规则作逐一的比对,步骤较为繁琐,并且所提供的方法不适合于带抑止弧的网.采用一种与传统方法不同的化简思路,首先将网划分为若干个最大无圈子网,将每个最大无圈子网表达为若干个逻辑式.用逻辑代数来完成逻辑式的化简,最后将其结果还原为Petri网回嵌到原网中,完成整个网的化简.给出了寻找最大无圈子网、最大无圈子网的化简算法以及相关的证明.该方法将化简范围扩展到了带抑止弧的无回路的网或网的局部.
英文摘要:
      In traditional methods, the local structure of Petri net is required to compare with all reduction rules. The process is complicate and does not fit for nets with inhibitor arcs. This paper presents a new reduction method. Firstly, Petri net is divided into several maximal acyclic subnets and each one is expressed with logic form. Then, logic algebra is used to reduce the logic form. Finally, the result is reconstructed and embedded in the original net. This paper establishes a method to find and reduce the maximal acyclic subnets and presents the correlative proofs. This method can be applied to Petri nets or subnets with inhibitor arcs and acyclic.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

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