Presentation | 2001/12/14 The file server design for improvement of reliability based on an extended Petri net. Shin'nosuke YAMAGUCHI, Katsumi WASAKI, Yasunari SHIDAMA, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | In this paper, we propose a process design for the Network File System model based on the Logical Coloured Petri Net. 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. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Petri Net / Network File System / Logical Coloured Petri Net |
Paper # | R2001-33,SSS2001-28 |
Date of Issue |
Conference Information | |
Committee | SSS |
---|---|
Conference Date | 2001/12/14(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Safety (SSS) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | The file server design for improvement of reliability based on an extended Petri net. |
Sub Title (in English) | |
Keyword(1) | Petri Net |
Keyword(2) | Network File System |
Keyword(3) | Logical Coloured Petri Net |
1st Author's Name | Shin'nosuke YAMAGUCHI |
1st Author's Affiliation | Faculty of Engineering, Shnshu University() |
2nd Author's Name | Katsumi WASAKI |
2nd Author's Affiliation | Faculty of Engineering, Shnshu University |
3rd Author's Name | Yasunari SHIDAMA |
3rd Author's Affiliation | Faculty of Engineering, Shnshu University |
Date | 2001/12/14 |
Paper # | R2001-33,SSS2001-28 |
Volume (vol) | vol.101 |
Number (no) | 527 |
Page | pp.pp.- |
#Pages | 5 |
Date of Issue |