A platform independent communication support for distributed controller systems modelled by Petri nets | IEEE Conference Publication | IEEE Xplore