Paper Abstract and Keywords |
Presentation |
2005-01-27 11:15
Linear Programming-based Computation of Petri Net Invariants with Supports Containing Specified Places Atsushi Iriboshi, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.) |
Abstract |
(in Japanese) |
(See Japanese page) |
(in English) |
A $P$-invariant of a Petri net $ N = (P,T,E,\alpha,\beta) $ is a
$|P|$-dimensional vector $Y$ with $Y^{tr}\cdot A = \bar{0}$ for the
place-transition incidence matrix $A$ of $N$.
The Fourier-Motzkin method is well-known for computing all
such invariants. This method, however, has a critical deficiency such
that , even if a give Petri net $N$ has any invariant, it is likely
that no invariants are output because of memory overflow in storing
intermediary vectors as candidates for invariants.
On the other hand, a linear programming-based method
produces all or a few minimal support invariants one by one.
Major improvements required for this method are speeding up and
avoiding computational errors. In this paper, we propose a linear programming-based algorithm for the computation of minimal support invariants with supports containing specified places. It is shown, through
experimental results, that this algorithm can be effective and is worth
investigating. |
Keyword |
(in Japanese) |
(See Japanese page) |
(in English) |
Petri nets / P-invariants / minimal supports / specified place / a linear programming / / / |
Reference Info. |
IEICE Tech. Rep., vol. 104, Jan. 2005. |
Paper # |
|
Date of Issue |
2005-01-20 (CST) |
ISSN |
Print edition: ISSN 0913-5685 |
Download PDF |
|
Conference Information |
Committee |
MSS |
Conference Date |
2005-01-27 - 2005-01-27 |
Place (in Japanese) |
(See Japanese page) |
Place (in English) |
Univ. of Electro-Communications |
Topics (in Japanese) |
(See Japanese page) |
Topics (in English) |
Concurrent system, etc. |
Paper Information |
Registration To |
MSS |
Conference Code |
2005-01-CST |
Language |
English (Japanese title is available) |
Title (in Japanese) |
(See Japanese page) |
Sub Title (in Japanese) |
(See Japanese page) |
Title (in English) |
Linear Programming-based Computation of Petri Net Invariants with Supports Containing Specified Places |
Sub Title (in English) |
|
Keyword(1) |
Petri nets |
Keyword(2) |
P-invariants |
Keyword(3) |
minimal supports |
Keyword(4) |
specified place |
Keyword(5) |
a linear programming |
Keyword(6) |
|
Keyword(7) |
|
Keyword(8) |
|
1st Author's Name |
Atsushi Iriboshi |
1st Author's Affiliation |
Hiroshima University (Hiroshima Univ.) |
2nd Author's Name |
Satoshi Taoka |
2nd Author's Affiliation |
Hiroshima University (Hiroshima Univ.) |
3rd Author's Name |
Toshimasa Watanabe |
3rd Author's Affiliation |
Hiroshima University (Hiroshima 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-01-27 11:15:00 |
Presentation Time |
25 minutes |
Registration for |
MSS |
Paper # |
CST2004-42 |
Volume (vol) |
vol.104 |
Number (no) |
no.593 |
Page |
pp.19-24 |
#Pages |
6 |
Date of Issue |
2005-01-20 (CST) |
|