A Compositional Analysis Method for Petri-Net Models

Jie Ding, Xiao Chen 0003, Rui Wang. A Compositional Analysis Method for Petri-Net Models. IEEE Access, 5:27599-27610, 2017. [doi]

Abstract

Abstract is missing.