Presentation | 2002/7/30 Liveness Analysis of Petri Nets Using Incidence Matrices Atsushi OHTA, Kohkichi TSUJI, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | Petri net is a mathematical model for concurrent systems. Liveness is one of important properties of Petri net. Liveness problem of general Petri net is of exponential space complexity and subclasses are suggested with less computational complexity. On the other hand, incidence matrix is effectively used for structural analysis of Petri net. In this report, we study on liveness analysis using incidence matrix. First, we show a sufficient condition to remove a place preserving liveness of a Petri net. Next we suggest a cncrete method to obtain 'extended token-free siphon' that we have proposed. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | concurrent system / Petri net / liveness / incidence matrix |
Paper # | CST2002-17 |
Date of Issue |
Conference Information | |
Committee | CST |
---|---|
Conference Date | 2002/7/30(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 | Concurrent System Technology (CST) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Liveness Analysis of Petri Nets Using Incidence Matrices |
Sub Title (in English) | |
Keyword(1) | concurrent system |
Keyword(2) | Petri net |
Keyword(3) | liveness |
Keyword(4) | incidence matrix |
1st Author's Name | Atsushi OHTA |
1st Author's Affiliation | Faculty of Information Science and Technology, Aichi Prefectural University() |
2nd Author's Name | Kohkichi TSUJI |
2nd Author's Affiliation | Faculty of Information Science and Technology, Aichi Prefectural University |
Date | 2002/7/30 |
Paper # | CST2002-17 |
Volume (vol) | vol.102 |
Number (no) | 259 |
Page | pp.pp.- |
#Pages | 4 |
Date of Issue |