| Presentation | 1994/11/17 A Consideration on Boundedness of Petri Nets under the Earliest Firing Rule Atsushi OHTA, Tomiji HISAMURA, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | Boundedness is one of significant properties in analyses of Petri nets. The earliest firing rule, where a transition must fire as soon as it is enabled, gives an interesting extended class of Petri net. The modeling power of Petri nets under the earliest firing rule is equivalent to that of Turing machines. We can obtain a sub-optimal solution to the performance evaluation problem by use of the earliest firing rule. Although boundedness of a Petri net under the 'normal' firing rule is a sufficient condition for boundedness of the net under the earliest firing rule, it is not a necessary condition. Furthermore, the boundedness problem of Petri nets under the earliest firing rule is undecidable. We consider boundedness problems of some subclasses of Petri nets under the earliest firing rule. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | discrete event system / Petri net / boundedness / the earliest firing rule |
| Paper # | CAS94-71,CST94-31 |
| Date of Issue |
| Conference Information | |
| Committee | CST |
|---|---|
| Conference Date | 1994/11/17(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) | A Consideration on Boundedness of Petri Nets under the Earliest Firing Rule |
| Sub Title (in English) | |
| Keyword(1) | discrete event system |
| Keyword(2) | Petri net |
| Keyword(3) | boundedness |
| Keyword(4) | the earliest firing rule |
| 1st Author's Name | Atsushi OHTA |
| 1st Author's Affiliation | School of Science and Engineering, Waseda University() |
| 2nd Author's Name | Tomiji HISAMURA |
| 2nd Author's Affiliation | School of Science and Engineering, Waseda University |
| Date | 1994/11/17 |
| Paper # | CAS94-71,CST94-31 |
| Volume (vol) | vol.94 |
| Number (no) | 333 |
| Page | pp.pp.- |
| #Pages | 7 |
| Date of Issue | |