| Presentation | 2006-11-20 Finding Coefficients for a Firing Count Vector Expanded by T-Invariants and Particular Solutions of P/T Petri Nets Tadashi MATSUMOTO, Seiichro MORO, Masahiro OSOGAMI, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | Petri nets are basic models for concurrent systems and a firing count vector for transitions is one of key concepts to describe and evaluate algebraically their behavior. In this paper, under the conditions that all minimal T-invariants and all particular solutions for state equation are given, it is shown that the expansion coefficients for any specified firing count vector are systematically obtained as a nonnegative rational or integer particular solution vector of a simultaneous equation by using Modified Fourier-Motzkin method as well as Old Fourier-Motzkin method, both of which have been effectively used also for finding T-invariants and particular solutions of state equation. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | P/T Petri nets / firing count vector / T-invariants / particular solutions / expansion coefficients / Modified Fourier Motzkin Method |
| Paper # | CAS2006-45,CST2006-21 |
| Date of Issue |
| Conference Information | |
| Committee | CST |
|---|---|
| Conference Date | 2006/11/13(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 | ENG |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Finding Coefficients for a Firing Count Vector Expanded by T-Invariants and Particular Solutions of P/T Petri Nets |
| Sub Title (in English) | |
| Keyword(1) | P/T Petri nets |
| Keyword(2) | firing count vector |
| Keyword(3) | T-invariants |
| Keyword(4) | particular solutions |
| Keyword(5) | expansion coefficients |
| Keyword(6) | Modified Fourier Motzkin Method |
| 1st Author's Name | Tadashi MATSUMOTO |
| 1st Author's Affiliation | Fukui University of Technology() |
| 2nd Author's Name | Seiichro MORO |
| 2nd Author's Affiliation | University of Fukui |
| 3rd Author's Name | Masahiro OSOGAMI |
| 3rd Author's Affiliation | Fukui University of Technology |
| Date | 2006-11-20 |
| Paper # | CAS2006-45,CST2006-21 |
| Volume (vol) | vol.106 |
| Number (no) | 367 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |