| 摘要: |
| 给出Petri网弱活性（无死锁）与活性的两个语言刻画，讨论了同步合成Petri网的语言性质，基于Petri网语言，给出了判定Petri网活性的充分必要条件。同时研究了Petri网同步合成过程中活性保持问题，给出保持活性的充分必要条件。这些结果为讨论网的活性测试和控制提供了形式语言的方法。 |
| 关键词: Petri网 并发系统 活性 同步合成 测试 控制 |
| DOI： |
| 分类号: |
| 基金项目:This project is supported by the National Natural Science Foundation of China under Grant Nos.69973029, 69933020 (国家自然科学基金) |
|
| On Properties of Concurrent System Based on Petri Net Language |
|
JIANG Chang-jun,LU Wei-ming
|
| Abstract: |
| 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. |
| Key words: Petri net concurrent system liveness synchronous composition testing controlling |
