| Paper Abstract and Keywords |
| Presentation |
2005-08-22 13:25
Enumerating basic siphons in Petri net using Fourier-Motzkin like method
Atsushi Ohta (Aichi Pref. Univ.), Masaya Mizoguchi (Hurxley), Kohkichi Tsuji (Aichi Pref. Univ.) |
| Abstract |
(in Japanese) |
(See Japanese page) |
| (in English) |
Petri net is an effective modeling tool for concurrent systems. A siphon and a trap are the subsets of place that can be are used for analyses of various problems of Petri nets. A siphon that is not expressed as a union of other siphons is called a basic siphon. Some methods of enumerating all or some of basic siphons of a Petri net have been proposed. Esparza et al showed that basic siphons are obtained as invariants of a matrix that is constructed with incidence matrices of the Petri net. The former can be enumerated by the Fourier-Motzkin method. In this report, enumerating basic siphons using Fourier-Motzkin like method is discussed. It uses logic operation instead of arithmetic operation. Experimental result shows that proposed method avoids overflow in calculation and uses less memory space, it is possible to handle larger Petri net. |
| Keyword |
(in Japanese) |
(See Japanese page) |
| (in English) |
Petri net / siphon / trap / Fourier-Motzkin method / / / / |
| Reference Info. |
IEICE Tech. Rep., vol. 105, Aug. 2005. |
| Paper # |
|
| Date of Issue |
2005-08-15 (CST) |
| ISSN |
Print edition: ISSN 0913-5685 |
| Download PDF |
|
| Conference Information |
| Committee |
MSS |
| Conference Date |
2005-08-22 - 2005-08-22 |
| Place (in Japanese) |
(See Japanese page) |
| Place (in English) |
Aichi Prefectural University |
| Topics (in Japanese) |
(See Japanese page) |
| Topics (in English) |
Concurrent systems, etc. |
| Paper Information |
| Registration To |
MSS |
| Conference Code |
2005-08-CST |
| Language |
Japanese |
| Title (in Japanese) |
(See Japanese page) |
| Sub Title (in Japanese) |
(See Japanese page) |
| Title (in English) |
Enumerating basic siphons in Petri net using Fourier-Motzkin like method |
| Sub Title (in English) |
|
| Keyword(1) |
Petri net |
| Keyword(2) |
siphon |
| Keyword(3) |
trap |
| Keyword(4) |
Fourier-Motzkin method |
| Keyword(5) |
|
| Keyword(6) |
|
| Keyword(7) |
|
| Keyword(8) |
|
| 1st Author's Name |
Atsushi Ohta |
| 1st Author's Affiliation |
Aichi Prefectural University (Aichi Pref. Univ.) |
| 2nd Author's Name |
Masaya Mizoguchi |
| 2nd Author's Affiliation |
Hurxley Co.,Ltd. (Hurxley) |
| 3rd Author's Name |
Kohkichi Tsuji |
| 3rd Author's Affiliation |
Aichi Prefectural University (Aichi Pref. Univ.) |
| 4th Author's Name |
|
| 4th Author's Affiliation |
() |
| 5th Author's Name |
|
| 5th Author's Affiliation |
() |
| 6th Author's Name |
|
| 6th Author's Affiliation |
() |
| 7th Author's Name |
|
| 7th Author's Affiliation |
() |
| 8th Author's Name |
|
| 8th Author's Affiliation |
() |
| 9th Author's Name |
|
| 9th Author's Affiliation |
() |
| 10th Author's Name |
|
| 10th Author's Affiliation |
() |
| 11th Author's Name |
|
| 11th Author's Affiliation |
() |
| 12th Author's Name |
|
| 12th Author's Affiliation |
() |
| 13th Author's Name |
|
| 13th Author's Affiliation |
() |
| 14th Author's Name |
|
| 14th Author's Affiliation |
() |
| 15th Author's Name |
|
| 15th Author's Affiliation |
() |
| 16th Author's Name |
|
| 16th Author's Affiliation |
() |
| 17th Author's Name |
|
| 17th Author's Affiliation |
() |
| 18th Author's Name |
|
| 18th Author's Affiliation |
() |
| 19th Author's Name |
|
| 19th Author's Affiliation |
() |
| 20th Author's Name |
|
| 20th Author's Affiliation |
() |
| Speaker |
Author-1 |
| Date Time |
2005-08-22 13:25:00 |
| Presentation Time |
25 minutes |
| Registration for |
MSS |
| Paper # |
CST2005-15 |
| Volume (vol) |
vol.105 |
| Number (no) |
no.237 |
| Page |
pp.7-12 |
| #Pages |
6 |
| Date of Issue |
2005-08-15 (CST) |