Analysis of Petri net models using transitive matrix.

Yu-Jin Song, Jong-Kun Lee

Browse the full SMC paper archive.