Analysis of Petri nets by means of concurrent simulation | IEEE Conference Publication | IEEE Xplore