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

Volume

1

fYear

2002

fDate

2-5 Dec. 2002

Firstpage

73

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Control, Automation, Robotics and Vision, 2002. ICARCV 2002. 7th International Conference on

Print_ISBN

981-04-8364-3

Type

conf

DOI

10.1109/ICARCV.2002.1234793

Filename

1234793