蒋昌俊,陆维明.基于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 (国家自然科学基金) |
|
摘要点击次数: 2794 |
全文下载次数: 2937 |
中文摘要: |
给出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阅读器 |