本文以CISR 系统为应用背景，以统一建模语言(UML)和Petri 网的适应性改进为目标，进行了相关的建模方法研究，并提出了相应的分析算法。......

Carl Adam Petri于1962年在他的博士论文《Kommun Pcation mit automation》中,正式提出了Petri网论。Petri网是一种适合描述离散......