与えられた動作を行う条件／事象ネットの最小実現に関する考察

摘要

ベトリネットは離散事象システムの有望なモデルの1つである．ベトリネットの動作はトランジションの発火形態を表す半言語によって記述される．本論文では，離散事象システムの望みの動作が半言語で与えられたとき，その動作のみを行う条件／事象ネット（プレースの容量が1のべトリネット）のなかでプレース数が最小なものを求める問題を条件／事象ネット最小実現問題として定式化し，その解法を示す．この間題は連続システムにおける最小実現に相当するものであり，これによって簡単な構造をもつ離散事象システムの実現が期待できる．%A Petri net is one of promising modeling tools for discrete event systems. The behavior of Petri nets can be described by a partial language which represents how the transitions fire. A condition/event net (C/E net) is a Petri net in which the capacity of each place equals to one. In this paper, we first define a C/E net minimum realization problem as follows: given a desired behavior specified as a partial language, construct a C/E net with the minimum number of places which exhibits only the desired behavior. We also present its solution method. The problem defined above corresponds to the mimimum realization of continuous systems. Thus, it is expected that the C/E net minimum realization provides simply-structured discrete event systems.