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