Equivalent Net Reduction for Firing Sequence

• NAKAGAWA Masato

  Mitsubishi Heavy Industries LTD.

• KUMAGAI Sadatoshi

  Dept. of Electrical Eng., Osaka University

• MIYAMOTO Toshiyuki

  Dept. of Electrical Eng., Osaka University

• LEE Dong-Ik S.

  Dept. of Info. and Comm., Kwang-Ju Inst. of Sci. and Tech.

抄録

In this paper, we discuss an abstraction method for Petri nets based on an equivalence of firing sequences of a specified subnet or a specified subset of transitions. Specifically, a method is presented to generate an equivalent net which preserves firing sequences of a specified subnet or a specified subset of transitions. The abstraction can be applied to an efficient behavioral analysis of concurrent systems constructed by composition of modules such as communication networks and Flexible Manufacturing Systems (FMS).

収録刊行物

• IEICE transactions on fundamentals of electronics, communications and computer sciences

  IEICE transactions on fundamentals of electronics, communications and computer sciences 78 (11), 1447-1457, 1995-11-25

  一般社団法人電子情報通信学会

キーワード

• discrete event system
• Petri net
• state space
• net reduction
• equivalent net

詳細情報

• CRID: 1571698602309084032
• NII論文ID: 110003207442
• NII書誌ID: AA10826239
• ISSN: 09168508
• 本文言語コード: en
• データソース種別:
  • CiNii Articles