Petri Net Models and Collaborativeness for Parallel Processes with Resource Sharing and Message Passing

GuanJun Liu, MengChu Zhou, Changjun Jiang. Petri Net Models and Collaborativeness for Parallel Processes with Resource Sharing and Message Passing. ACM Trans. Embedded Comput. Syst., 16(4), 2017. [doi]

Abstract

Abstract is missing.