基于Petri网语言的程序设计流程

Program Design Flow based on Petri Net Language

本文采用了一种Petri网语言的同步合成的原理,提出了计算机复杂程序设计流程的一种新的设计思想。并且利用Petri网语言给出了子系统合成时的死锁分析和系统设计的效率分析以及整个设计流程。

Introduced a new idea about computer program design with the help of Petri Net Language using synchronized synthesis. The whole design and analysis flow of subsystem synthesis is presented by using Petri Net Language, deadlock and efficiency analysis also included.