Study of Interaction Property Testing of Distributed System Based on Petri Net | IEEE Conference Publication | IEEE Xplore