Modeling and analyzing distributed computing environment with Petri nets. Case study: Windows NT*Domain based environment | IEEE Conference Publication | IEEE Xplore