主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
蒋昌俊,陆维明.基于Petri网语言的并发系统性质研究.软件学报,2001,12(4):512-520
基于Petri网语言的并发系统性质研究
On Properties of Concurrent System Based on Petri Net Language
投稿时间:1999-09-18  修订日期:2000-04-10
DOI:
中文关键词:  Petri网  并发系统  活性  同步合成  测试  控制
英文关键词:Petri net  concurrent system  liveness  synchronous composition  testing  controlling
基金项目:This project is supported by the National Natural Science Foundation of China under Grant Nos.69973029, 69933020 (国家自然科学基金)
作者单位
蒋昌俊 山东科技大学计算机科学与技术系,山东泰安 271019 
陆维明 中国科学院数学研究所,北京 100080 
摘要点击次数: 2441
全文下载次数: 2656
中文摘要:
      给出Petri网弱活性(无死锁)与活性的两个语言刻画,讨论了同步合成Petri网的语言性质,基于Petri网语言,给出了判定Petri网活性的充分必要条件。同时研究了Petri网同步合成过程中活性保持问题,给出保持活性的充分必要条件。这些结果为讨论网的活性测试和控制提供了形式语言的方法。
英文摘要:
      In this paper, two language characterizations for weak liveness (free-deadlock) and liveness of Petri nets are given. Some language properties of synchronous composed Petri nets are discussed. Based on Petri net language, a necessary and sufficient condition is given for live Petri net (bounded), and then the liveness presevation in a synchronous composed net is studied and a necessary and sufficient condition is obtained. Those results give a formal language method for net liveness testing and liveness controlling.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

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