A high reliability design for NFS server software based on the logical coloured Petri net | IEEE Conference Publication | IEEE Xplore