并发系统的模型与验证
The Model and Verificaation of Concurrent System作者机构：兰州大学计算机科学系兰州730000
出 版 物：《兰州大学学报（自然科学版）》 (Journal of Lanzhou University(Natural Sciences))
年 卷 期：1992年第28卷第1期
页 面：29-34页
核心收录：
学科分类：08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：甘肃省自然科学基金
摘 要：petri网这种转移模型很好地描述了并发系统的静态与动态行为.本文介绍一种新的树结构模型能够直观地表示并发系统的动态特性,可以对 petri 网进行分析和验证.
维普期刊数据库
同方期刊数据库