WEKO3
アイテム
P/Tペトリネットの状態方程式の非負整数解の代数的構造に関する基礎的考察
https://doi.org/10.57375/00000932
https://doi.org/10.57375/00000932ff62756d-6a6e-43c0-9e42-6272c7428369
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
|
Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2009-12-01 | |||||
タイトル | ||||||
タイトル | P/Tペトリネットの状態方程式の非負整数解の代数的構造に関する基礎的考察 | |||||
タイトル | ||||||
タイトル | Basic Considerations on Algebraic Structure in Nonnegative Integer Solutions for State Equation of a P/T Petri Net | |||||
言語 | en | |||||
言語 | ||||||
言語 | jpn | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | 非負整数 | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
資源タイプ | departmental bulletin paper | |||||
ID登録 | ||||||
ID登録 | 10.57375/00000932 | |||||
ID登録タイプ | JaLC | |||||
著者 |
松本, 忠
× 松本, 忠× 恐神, 正博× 茂呂, 征一郎× Matsumoto, Tadashi× Osogami, Masahiro× Moro, Seiichiro |
|||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | P/T Petri nets and their extended models have been widely used for modelings, analyses, and verifications for discrete-event dynamic systems in various field. It is one of features that P/T Petri nets are analyzed by state equation. Generators for nonnegative integer homogeneous solutions(i.e., T-invariants) have been deeply studied, but minimal solutions for nonnegative integer inhomogeneous solutions have not been discussed in detail. While the augmented system Ax = 0m×1(A := [A,-b]) of state equation Ax = b has the well-known generators, then we can derive particular solutions of Ax = b from elementaly nonnegative rational T-invariants for Ax = 0m×1. In this paper, fundamental and algebraic properties of T-invariants and particular solutions for both Ax = 0m×1 and Ax = b ≠ 0m×1 are discussed. | |||||
書誌情報 | 号 39, p. 23-30, 発行日 2009-08-01 | |||||
出版者 | ||||||
出版者 | 福井工業大学 | |||||
ISSN | ||||||
収録物識別子タイプ | ISSN | |||||
収録物識別子 | 18844502 / 18844456 | |||||
書誌レコードID | ||||||
識別子タイプ | NCID | |||||
関連識別子 | TF00009391 | |||||
著者版フラグ | ||||||
出版タイプ | VoR | |||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 |