论文部分内容阅读
随着计算机和信息技术的发展,广义随机Petri网(GSPN)作为一种图形化的建模工具,不仅可以对系统进行形式化的描述和快速原型开发,而且由于其具有坚实的数学理论基础,可以对系统进行正确性验证和性能评价,因此在系统的设计过程中,得到了广泛的应用.基于结构分析方法、可达图分析和数值分析方法讨论分析了GSPN,并给出了具体的算例,最后讨论了GSPN的应用领域.