Arkadij Zakrevskij, Andrei Karatkevich, Marian Adamski. A Method of Analysis of Operational Petri Nets. In Jerzy Soldek, Jerzy Pejas, editors, Advanced Computer Systems, Eighth International Conference, ACS 2001, Mielno, Poland, October 17-19, 2001 Proceedings. pages 449-460, Springer, 2001. [doi]
Abstract is missing.