Title :
A high reliability design for NFS server software based on the logical coloured Petri net
Author :
Yamaguchi, Shin´Nosukc ; Wasaki, Katsumi ; Shidama, Yasunari
Author_Institution :
Fac. of Eng., Shinshu Univ., Nagano, Japan
Abstract :
In this paper, we present a model design for network file system processes based on the logical coloured Petri net (LCPN). The LCPN is an extended Petri net which solves the problem of system description in place/transition nets and coloured Petri nets proposed before. This extension of Petri net is suitable for designing complex control system and for discussing methods of evaluating such systems. In order to study the behavior of the server system modeled with this net, we provide simulations on a Java program. From this work, we confirmed that this extended Petri net is an effective tool for modelling the file server processes.
Keywords :
Java; Petri nets; control system synthesis; file servers; queueing theory; software reliability; Java program; Petri nets; complex control system; file server process; logical coloured Petri net; network file system; reliability design; server system; Costs; Design engineering; Error correction; File servers; File systems; Network servers; Petri nets; Reliability engineering; System recovery; System software;
Conference_Titel :
Control, Automation, Robotics and Vision, 2002. ICARCV 2002. 7th International Conference on
Print_ISBN :
981-04-8364-3
DOI :
10.1109/ICARCV.2002.1234793
