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