Partial Languages and Their Application to Theoy of Discrete Event Systems

• Nishimura Yoshiyuki

  Toho University

• Onogi Katsuaki

  Nagoya University

• Hashizume Susumu

  Toyohashi University of Technology

Bibliographic Information

Other Title

• 半言語とそれの離散事象システム論への応用
• ハン ゲンゴ ト ソレ ノ リサン ジショウ システムロン エ ノ オウヨウ

Abstract

A discrete event system is a dynamical system which evolves according to asynchronous, concurrent and sequential occurrence of discrete state changes. Petri nets are a promising mathematical tool for modeling and analysis of discrete event systems. Partial languages give a correct description of how Petri nets behave. In this paper, we first review partial languages and show that they are useful for analysis of Petri nets. We then propose a synthesis of condition/event nets (a subclass of Petri nets), in which the objective is to construct a net to exhibit the desired behavior specified as a partial language. We last discuss the outline of a synthesis technique.

Journal

• IEEJ Transactions on Industry Applications

  IEEJ Transactions on Industry Applications 118 (2), 158-163, 1998

  The Institute of Electrical Engineers of Japan

Keywords

• 離散事象システム
• 半言語
• ペトリネット
• ネットの合成

Details

• CRID: 1390001204659821696
• NII Article ID: 10002726174
• NII Book ID: AN10012320
• DOI: 10.1541/ieejias.118.158
• ISSN: 13488163
• ISSN: 09136339
• NDL BIB ID: 4392123
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I4392123
• Web Site: http://www.jstage.jst.go.jp/article/ieejias1987/118/2/118_2_158/_pdf
• Data Source:
  • JaLC
  • NDL
  • Crossref
  • CiNii Articles
• Abstract License Flag: Disallowed