| Presentation | 2005/12/9 A Modeling Approach of Distributed Interlocking System Xinhong Hei, Sei Takahashi, Hideo Nakamura, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | An approach for modeling Distributed Interlocking System (noted as DIS) with G-nets is introduced. G-nets are extension of Object-oriented petri net, which reduce the model complexity and improve maintenance as well as reusability remarkably. The proposed method also provides support for system design and realization of DIS. In addition, a modeling method considering fault-tolerance is presented. As an illustration, an example interlocking system is presented. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Distributed interlocking system / G-nets / Petri nets / Object-oriented |
| Paper # | DC2005-66 |
| Date of Issue |
| Conference Information | |
| Committee | DC |
|---|---|
| Conference Date | 2005/12/9(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 | Dependable Computing (DC) |
|---|---|
| Language | ENG |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | A Modeling Approach of Distributed Interlocking System |
| Sub Title (in English) | |
| Keyword(1) | Distributed interlocking system |
| Keyword(2) | G-nets |
| Keyword(3) | Petri nets |
| Keyword(4) | Object-oriented |
| 1st Author's Name | Xinhong Hei |
| 1st Author's Affiliation | College of Science and Technology, NIHON University() |
| 2nd Author's Name | Sei Takahashi |
| 2nd Author's Affiliation | College of Science and Technology, NIHON University |
| 3rd Author's Name | Hideo Nakamura |
| 3rd Author's Affiliation | College of Science and Technology, NIHON University |
| Date | 2005/12/9 |
| Paper # | DC2005-66 |
| Volume (vol) | vol.105 |
| Number (no) | 458 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |