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

Fundamental Study on Analysis and Synthesis of Discrete Event Systems

Research Project

Project/Area Number 07680438
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field 情報システム学(含情報図書館学)
Research InstitutionToho University

Principal Investigator

NISHIMURA Yoshiyuki  Toho University, Department of Science, Professor, 理学部, 教授 (70023075)

Project Period (FY) 1995 – 1996
Project Status Completed (Fiscal Year 1996)
Budget Amount *help
¥900,000 (Direct Cost: ¥900,000)
Fiscal Year 1996: ¥300,000 (Direct Cost: ¥300,000)
Fiscal Year 1995: ¥600,000 (Direct Cost: ¥600,000)
Keywordsdiscrete event system / Petri net / condition / event net / partial language / activity / net construction / stepwise refinement
Research Abstract

In advance of the start of this research project, the author and his coworkers had defined the following condition/event net (C/E net) construction problem : given a partial language over a set of events as specification, construct a C/E net whose activity coincides with the specification. A variant of this is the problem to construct a C/E net which meets the specification using auxiliary events if necessary. The former and the latter problem will be called auxiliary-event-free and auxiliary-event-introduced problem, respectively. The author and his coworkers studied these problems and obtained several results including the fact that every solution of auxiliary-event-free problem consists of atoms 'compatible' with the specification.
Under these backgrounds the followings were obtained in this research project.
1. An algorithm for finding all atoms compatible with a given partial language was developed.
2. A method of finding the set of all solutions of auxiliary-event-free C/E net construction problem was proposed.
3. A Petri net construction problem was defined as a generalization of auxiliary-event-introduced C/E net construction problem and its solvability was discussed.
4. A new concept, hierarchical specification, was introduced for both auxiliary-event-free and auxiliary-event-introduced C/E net construction problems. It was shown that the concept permits stepwise refinement of construction processes.
5. A method to solve auxiliary-event-introduced construction problems with finite specification was presented. A method for the same type of problems with periodical specification was also obtained.

Report

(3 results)
  • 1996 Annual Research Report   Final Research Report Summary
  • 1995 Annual Research Report
  • Research Products

    (10 results)

All Other

All Publications (10 results)

  • [Publications] 松谷豊: "補助事象なし条件/事象ネット構成問題の解集合を求める一方法" 計測自動制御学会論文集. 32. 1454-1460 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] 橋爪進: "与えられた半言語に適合するアトム全体の集合を求めるアルゴリズム" 計測自動制御学会論文集. 32. 1560-1565 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] S.Hashizume: "Construction of Petri Nets from a Given Partial Language" IEICE Trans. Fundamentals. E79-A. 2192-2195 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] Y.Matsutani: "A Method of Finding a Set of Solutions of Condition/Event Net Construction Problem Using no Auxiliary Events" Trans.SICE. 32-10. 1454-1460 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] S.Hashizume: "Algorithm for Finding the Set of All Atoms Compatible with a Given Partial Language" Trans.SICE. 32-11. 1560-1565 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] S.Hashizume: "Construction of Petri Nets from a Given Partial Language" IEICE Trans.Fundamentals. E79-A-12. 2192-2195 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] 松谷豊: "補助事象なし条件/事象ネット構成問題の解集合を求める一方法" 計測自動制御学会論文集. 32-10. 1454-1460 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] 橋爪進: "与えられた半言語に適合するアトム全体の集合を求めるアルゴリズム" 計測自動制御学会論文集. 32-11. 1560-1565 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] S.Hashizume: "Construction of Petri Nets from a Given Partial Language" IEICE Trans.Fundamentals. E79-A-12. 2192-2195 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] 可児伸介: "与えられた半言語に適合するアトム全体の集合を求めるアルゴリズム" 電子情報通信学会技術研究報告. 95-137. 15-21 (1995)

    • Related Report
      1995 Annual Research Report

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi