Communication system among Petri net controllers | IEEE Conference Publication | IEEE Xplore