基于高级petri网的并发系统设计

本文提出了用于并发系统的一种快速原型化设计方法学。此方法学是基于mprt网模型。mprt网是经典petri网的扩充,它支持规格说明模型的构造、性能评估,以及到程序结构的自动变换。mprt网中表示的并发进程及进程间同步可以方便地翻译成Ada程序结构。本文用例子群细说明了转换过程。