Distributed Internet systems modeling using TCPNs | IEEE Conference Publication | IEEE Xplore