Intra- and inter-circuit network for Petri nets based components | IEEE Conference Publication | IEEE Xplore