| Presentation | 2019-07-31 Structurally Liveness and Boundedness Analysis of Petri Nets Using Circuit Flow Calculating for Structures Covered by Marked Graph Yojiro Harie, Katsumi Wasaki, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | |
| Paper # | CAS2019-18,VLD2019-24,SIP2019-34,MSS2019-18 |
| Date of Issue | 2019-07-23 (CAS, VLD, SIP, MSS) |
| Conference Information | |
| Committee | MSS / CAS / SIP / VLD |
|---|---|
| Conference Date | 2019/7/30(2days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | Iwate Univ. |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | Shigemasa Takai(Osaka Univ.) / Taizo Yamawaki(Hitachi) / Naoyuki Aikawa(TUS) / Nozomu Togawa(Waseda Univ.) |
| Vice Chair | Atsuo Ozaki(Osaka Inst. of Tech.) / Yasuhiro Takashima(Univ. of Kitakyushu) / Kazunori Hayashi(Osaka City Univ) / Yukihiro Bandou(NTT) / Daisuke Fukuda(Fujitsu Labs.) |
| Secretary | Atsuo Ozaki(Osaka Univ.) / Yasuhiro Takashima(Hokkaido Univ.) / Kazunori Hayashi(Hitachi) / Yukihiro Bandou(Yamanashi Univ.) / Daisuke Fukuda(Hiroshima Univ.) |
| Assistant | Naoki Hayashi(Osaka Univ.) / Hiroki Sato(Sony LSI Design) / Motoi Yamaguchi(Renesas Electronics) / / Kazuki Ikeda(Hitachi) |
| Paper Information | |
| Registration To | Technical Committee on Mathematical Systems Science and its applications / Technical Committee on Circuits and Systems / Technical Committee on Signal Processing / Technical Committee on VLSI Design Technologies |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Structurally Liveness and Boundedness Analysis of Petri Nets Using Circuit Flow Calculating for Structures Covered by Marked Graph |
| Sub Title (in English) | |
| Keyword(1) | |
| 1st Author's Name | Yojiro Harie |
| 1st Author's Affiliation | Shinshu University(Shinshu Univ.) |
| 2nd Author's Name | Katsumi Wasaki |
| 2nd Author's Affiliation | Shinshu University(Shinshu Univ.) |
| Date | 2019-07-31 |
| Paper # | CAS2019-18,VLD2019-24,SIP2019-34,MSS2019-18 |
| Volume (vol) | vol.119 |
| Number (no) | CAS-153,VLD-154,SIP-155,MSS-156 |
| Page | pp.pp.77-82(CAS), pp.77-82(VLD), pp.77-82(SIP), pp.77-82(MSS), |
| #Pages | 6 |
| Date of Issue | 2019-07-23 (CAS, VLD, SIP, MSS) |