Concurrency Relations and the Safety Problem for Petri Nets. - Andrei Kovalyov (Application and Theory of Petri Nets, 1992)

An O(|S|×|T|)- Algorithm to Verify if a Net is Regular. - Andrei Kovalyov (Application and Theory of Petri Nets, 1996)

New rank theorems for Petri nets and their application to workflow management. - Andrei Kovalyov; Robert D. McLeod (SMC, 1998)

Polynomial Algorithms for Performance Evaluation of Communication Networks by Stochastic Regular Petri Nets. - Andrei Kovalyov; Robert D. McLeod; Olexandr Kovalyov (PDPTA, 2000)