Andrei Karatkevich, Arkadij Zakrevskij. Analysis of Petri Nets by Means of Concurrent Simulation. In 2002 International Conference on Parallel Computing in Electrical Engineering (PARELEC 2002), 22-25 September 2002, Warsaw, Poland. pages 87-91, IEEE Computer Society, 2002. [doi]
Abstract is missing.