1.One-Step Look-Ahead Maximally Permissive Deadlock Control of AMS by Using Petri Nets

Wu, NQ, Zhou, MC, Hu     More...

Wu, NQ, Zhou, MC, Hu, G     Less

ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS[1539-9087], Published 2013, Volume 12, Issue 1,

收錄情况： WOS SCOPUS

WOS核心合集引用: 46  2023影響因子:  2.8  发表年影響因子:  0.680 

2.Petri net models and collaborativeness for parallel processes with resource sharing and message passing

Liu, Guanjun, Jiang,     More...

Liu, Guanjun, Jiang, Changjun, Zhou, Mengchu     Less

ACM Transactions on Embedded Computing Systems[1539-9087], Published 2017, Volume 16, Issue 4,

收錄情况： WOS SCOPUS

WOS核心合集引用: 7  2023影響因子:  2.8  发表年影響因子:  1.156