The concurrent information flow model and deadlock analysis based on Petri net for multilevel management | IEEE Conference Publication | IEEE Xplore