并发系统的模型与验证

The Model and Verificaation of Concurrent System

petri网这种转移模型很好地描述了并发系统的静态与动态行为.本文介绍一种新的树结构模型能够直观地表示并发系统的动态特性,可以对 petri 网进行分析和验证.

Petri net,a transfer model,can welldescribe the static and dynamic behaviors of the concurrent sys^+em.This paper introduces a new treemodel which can visually show the dynamic characterisfics of the concurrentsystem.It may also analyze and verify the petri net.