Panos Rondogiannis Mantis H. M. Cheng Petri-Net-Based Deadlock Analysis of Process Algebra Programs. 55-89 1994 23 Sci. Comput. Program. 1 db/journals/scp/scp23.html#RondogiannisC94