随机Petri网同步并发行为的定量分析方法

摘要

传统的随机Ｐｅｔｒｉ网定量分析都是针对顺序行为的，而并发描述却是Ｐｅｔｒｉ网引以为骄傲的内容，这就形成Ｐｅｔｒｉ擅长描述并发，却没有在并发活动下分析系统的手段。本文研究同步并发机制下随机Ｐｅｔｒｉ网定量分析法，旨在改进传统的分析方法，使Ｐｅｔｒｉ网真正成为并发系统建模与分析的有力工具。