• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

On Algebraic Behavioral Analyses of Hybrid Petri Nets

Research Project

Project/Area Number 19560409
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field System engineering
Research InstitutionFukui 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)
  • 2009 Annual Research Report   Final Research Report ( PDF )
  • 2008 Annual Research Report
  • 2007 Annual Research Report
  • Research Products

    (14 results)

All 2010 2009 2008 2007

All Journal Article (1 results) (of which Peer Reviewed: 1 results) Presentation (13 results)

  • [Journal Article] P/Tペトリネットの状態方程式の非負整数解の代数的構造に関する基礎的考察2009

    • Author(s)
      松本忠, 恐神正博, 茂呂征一郎
    • Journal Title

      福井工業大学研究紀要 第39号

      Pages: 23-30

    • NAID

      120001719325

    • Related Report
      2009 Final Research Report 2008 Annual Research Report
    • Peer Reviewed
  • [Presentation] 定常連続システムから離散状態システムを得る一手法2010

    • Author(s)
      松本忠, 恐神正博, 茂呂征一郎
    • Organizer
      電子情報通信学会技術報告書(コンカレント工学)
    • Place of Presentation
      於金城学院大学(金沢)
    • Year and Date
      2010-08-02
    • Related Report
      2009 Final Research Report
  • [Presentation] Reachability Judgement in P/T Petri Nets by Approximate Algebraic Approach2010

    • Author(s)
      Tadashi Matsumoto, Masahiro Osogami, Seiichirou Moro
    • Organizer
      Procs. of the 9th WSEAS International Conference on Signal Processing, Robotics and Automation (ISPRA'10)
    • Place of Presentation
      University of Cambridge, UK
    • Related Report
      2009 Final Research Report
  • [Presentation] Reachability Judgement in P/T Petri Nets by Approximate Algebraic Approach2010

    • Author(s)
      T.Matsumoto, M.Osogami, S.Moro
    • Organizer
      Procs.of the 9^<th> WSEAS International Conference on Signal Processing, Robotics and Automation(ISPRA'10), pp.318-323
    • Place of Presentation
      University of Cambridge, UK
    • Related Report
      2009 Annual Research Report
  • [Presentation] 時間なし連続ペトリネットの状態方程式の解について2008

    • Author(s)
      松本忠, 恐神正博, 茂呂征一郎
    • Organizer
      電子情報通信学会技術報告書(コンカレント工学)
    • Place of Presentation
      静岡大学
    • Year and Date
      2008-08-09
    • Related Report
      2009 Final Research Report
  • [Presentation] 時間なし連続ペトリネットの状態方程式の解について2008

    • Author(s)
      松本忠, 恐神正博, 茂呂征一郎
    • Organizer
      電子情報通信学会技術報告書, vol. 108, no. **(コンカレント工学), CST2008-29, pp. 27-30
    • Place of Presentation
      静岡大学
    • Year and Date
      2008-08-09
    • Related Report
      2008 Annual Research Report
  • [Presentation] On Particular Solutions for State Equation of Autonomous Continuous Petri Nets2008

    • Author(s)
      Tadashi Matsumoto, Masahiro Osogami, Seiichirou Moro
    • Organizer
      Procs. of 2008 International Symposium on Nonlinear Theory and its Applications (NOLTA'08)
    • Place of Presentation
      Budapest, Hungary
    • Related Report
      2009 Final Research Report
  • [Presentation] On Particular Solutions for State Eqtiation of Autonomous Continuous Petri Nets2008

    • Author(s)
      T. Matsumoto, M. Osogami, S. Moro
    • Organizer
      Procs. of 2008 International Symposium on Non-linear Theory and its Applications NOLTA'08, pp. 668-671
    • Place of Presentation
      Budapest, Himgary
    • Related Report
      2008 Annual Research Report
  • [Presentation] P/Tペトリネットの可到達性判定の代数的試みについて2007

    • Author(s)
      松本忠, 恐神正博, 茂呂征一郎
    • Organizer
      電子情報通信学会技術報告書(コンカレント工学)
    • Place of Presentation
      新潟大学
    • Year and Date
      2007-11-30
    • Related Report
      2009 Final Research Report
  • [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
      2007 Annual Research Report
  • [Presentation] P/Tペトリネットの可到達性判定の代数的試み2007

    • Author(s)
      松本忠, 恐神正博, 茂呂征一郎
    • Organizer
      平成19年度電気関係学会北陸支部連合大会講演論文集(E-44)
    • Place of Presentation
      福井工業大学
    • Year and Date
      2007-09-08
    • Related Report
      2009 Final Research Report
  • [Presentation] P/Tペトリネットの初等的インバリアントの導出法の比較, 検討2007

    • Author(s)
      恐神正博, 松本忠, 茂呂征一郎
    • Organizer
      平成19年度電気関係学会北陸支部連合大会講演論文集(E-43)
    • Place of Presentation
      福井工業大学
    • Year and Date
      2007-09-08
    • Related Report
      2009 Final Research Report
  • [Presentation] P/Tペトリネットの初等的インバリアントの導出法の比較,検討2007

    • Author(s)
      恐神正博, 松本忠, 茂呂征一郎
    • Organizer
      平成19年度電気関係学会北陸支部連合大会講演論文集, E-43
    • Place of Presentation
      福井工業大学
    • Year and Date
      2007-09-08
    • Related Report
      2007 Annual Research Report
  • [Presentation] P/Tペトリネットの可到達性の代数的解析の試み2007

    • Author(s)
      松本忠、恐神正博, 茂呂征一郎
    • Organizer
      平成19年度電気関係学会北陸支部連合大会講演論文集, E-44
    • Place of Presentation
      福井工業大学
    • Year and Date
      2007-09-08
    • Related Report
      2007 Annual Research Report

URL: 

Published: 2007-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi