| Petri网性质的线性时序逻辑描述与Spin检验 |
| |
| 引用本文： | 段风琴,李祥.Petri网性质的线性时序逻辑描述与Spin检验[J].计算机科学,2006,33(5):287-289. |
| |
| 作者姓名： | 段风琴 李祥 |
| |
| 作者单位： | 贵州大学计算机软件与理论研究所,贵阳550025 |
| |
| 摘 要： | Petri网是描述并发系统的很直观的图形工具Spin是一种著名的分析验证并发系统性质的工具。本文首先论述Petri网性质的线性时序逻辑描述，研究用Promela编程描述Petri网和用Spin对Petri网性质进行检验的方法，最后通过两个具体的示例说明这种方法是成功的。
|
| 关 键 词： | 模型检测 Petri网 线性时序逻辑 |
Analyzing Petri Nets' Property Using Spin |
| |
| DUAN Feng-Qin,LI Xiang.Analyzing Petri Nets'''' Property Using Spin[J].Computer Science,2006,33(5):287-289. |
| |
| Authors: | DUAN Feng-Qin LI Xiang |
| |
| Affiliation: | Institute of Computer Seienee,Guizhou University,Guiyang 550025 |
| |
| Abstract: | |
| |
| Keywords: | Spin Promela |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
