Jan Magott Performance Evaluation of Concurrent Systems Using Conflict-Free and Persistent Petri Nets. 77-80 1987 26 Inf. Process. Lett. 2 db/journals/ipl/ipl26.html#Magott87 http://dx.doi.org/10.1016/0020-0190(87)90041-X