The modelling of the network file server based on an extended Petri net and XML tool

摘要

In this paper, we propose a process design for the Network File System model based on the Logical Coloured Petri Net (LCPN). The specification of the network file system that is mounted on UNIX is described in RFC-1813. However, the description is not clearly, for example some errors for a procedure are described. but the evaluation order or the order of primary are not described, and the decision is entrusted to the maker. In this paper, we design the NFS server process again, and we verify it by LCPN. This net (LCPN) is an extended Petri net which solves the problem of system description in place/transition nets and colored Petri nets proposed before. This extension of Petri net is suitable to design of the complex control systems and discuss its methods of evaluation. In order to study the behavior of the server system modeled with this net, we provide a means for searching the reach-ability tree of markings, and simulations. For this, we confirmed that this extended Petri net for design of the file server process is effective technique.