International Journal of Computer Integrated Manufacturing. 2005;18(2-3):199-209. doi: 10.1080/0951192052000288170 Q24.02025

Deadlock-free verification and performance enhancement of RosettaNet PIPs with time Petri nets

Liao, Da-Yin; Liu, Paladin

DOI: 10.1080/0951192052000288170

摘要

期刊名：International journal of computer integrated manufacturing

缩写：INT J COMPUT INTEG M

ISSN：0951-192X

e-ISSN：1362-3052

IF/分区：4.0/Q2

全文链接

官方链接

PMC全文

引文链接

复制

已复制！

格式：