《Petri网导论》PDF电子书

Petri网导论的扫描版电子书。Petri网是分布式系统的建模和分析工具，它特别便于描述系统中进程或部件的顺序，并发，冲突以及同步等关系。