Da-Yin Liao Paladin Liu Deadlock-free verification and performance enhancement of RosettaNet PIPs with time Petri nets. 199-209 2005 18 Int. J. Comput. Integr. Manuf. 2&3 https://doi.org/10.1080/0951192052000288170 db/journals/ijcim/ijcim18.html#LiaoL05