| 基于Petri网语言的并发系统性质研究 |
| |
| 引用本文： | 蒋昌俊,陆维明.基于Petri网语言的并发系统性质研究[J].软件学报,2001,12(4):512-520. |
| |
| 作者姓名： | 蒋昌俊 陆维明 |
| |
| 作者单位： | 1. 同济大学计算机科学与工程系,山东科技大学计算机科学与技术系,
2. 中国科学院数学研究所, |
| |
| 基金项目： | This project is supported by the National Natural Science Foundation of China under Grant Nos.69973029, 69933020 (国家自然科学基金) |
| |
| 摘 要： | 给出Petri网弱活性（无死锁）与活性的两个语言刻画，讨论了同步合成Petri网的语言性质，基于Petri网语言，给出了判定Petri网活性的充分必要条件。同时研究了Petri网同步合成过程中活性保持问题，给出保持活性的充分必要条件。这些结果为讨论网的活性测试和控制提供了形式语言的方法。
|
| 关 键 词： | Petri网 并发系统 活性 同步合成 测试 控制 |
| 收稿时间： | 1999/9/18 0:00:00 |
| 修稿时间： | 1999年9月18日 |
On Properties of Concurrent System Based on Petri Net Language |
| |
| JIANG Chang-jun and LU Wei-ming.On Properties of Concurrent System Based on Petri Net Language[J].Journal of Software,2001,12(4):512-520. |
| |
| Authors: | JIANG Chang-jun and 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. |
| |
| Keywords: | Petri net concurrent system liveness synchronous composition testing controlling |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
