Petri nets framework for analyzing the communication behavior of TLM modules | IEEE Conference Publication | IEEE Xplore