On Algebraic Behavioral Analyses of Hybrid Petri Nets
| Project/Area Number |
19560409
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
System engineering
|
|---|
| Research Institution | Fukui University of Technology |
|---|
Principal Investigator |
MATSUMOTO Tadashi Fukui University of Technology, 工学部, 教授 (40020193)
|
|---|
| Research Collaborator |
OSOGAMI Masahiro 福井工業大学, 工学部, 準教授 (70298389)
MORO Seiichirou 福井大学, 大学院・工学研究科, 準教授 (00303363)
|
|---|
| Project Period (FY) |
2007 – 2009
|
| Project Status |
Completed (Fiscal Year 2009)
|
| Budget Amount *help |
¥4,290,000 (Direct Cost: ¥3,300,000、Indirect Cost: ¥990,000)
Fiscal Year 2009: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2008: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2007: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
|
|---|
| Keywords | システム工学 / 制御工学 / 数理工学 / ハイブリッドシステム / ペトリネット / 可到達性解析 / 状態方程式 / インバリアント / 数理科学 |
|---|
| Research Abstract |
A hybrid Petri net containing both discrete and continuous variables is constructed by discrete Petri nets and continuous Petri nets. Comparison with discrete Petri nets, behaviors of both continuous Petri nets and hybrid Petri nets are very complex and have not been analyzed enough from algebraic approach. In this study, first, a state equation for discrete Petri nets is considered, in which the difference between a destination state and an initial state is fixed, and an arbitrary firing count vector (i.e., a nonnegative integer solution) is completely expressed by elementary T-invariants and fundamental particular solutions. Reachability determination from an initial state to a destination state is algebraically proposed in the bounded space and within finite procedures. Secondly, algebraic analytical approaches of discrete Petri nets are applied to continuous Petri nets and hybrid Petri nets and conditions for applicability to those nets are shown. Thirdly, a novel method for obtaining a discrete system containing only discrete variables from a continuous system with only continuous variables.
|
Report
(4 results)
Research Products
(14 results)
-
-
-
-
-
-
-
-
-
-
[Presentation] P/Tペトリネットの可到達性判定の代数的試みについて2007
Author(s)
松本忠、恐神正博, 茂呂征一郎
Organizer
電子情報通信学会技術報告書(コンカレント工学、.回路とシステム)CST2007-29, CAS2007-28, vol.107, no.264, pp.27-30
Place of Presentation
新潟大学工学部
Year and Date
2007-11-30
Related Report
-
-
-
-
