Deadlock-free verification of RosettaNet PIPs with time Petri nets. - Da-Yin Liao; Paladin Liu (SMC, 2003)

Deadlock-free verification and performance enhancement of RosettaNet PIPs with time Petri nets. - Da-Yin Liao; Paladin Liu (Int. J. Comput. Integr. Manuf., 2005)