Distributed computer network model base on petri nets | IEEE Conference Publication | IEEE Xplore