順序列集合を考慮した分離積和法に関する考察

摘要

In the case of transforming the minimal cut sequences(MCSSs) into disjoint cut sequences, the number of disjoint sequences is dependent on how the MCSSs are applied to a sum of disjoint products method. In this paper, we consider a condition which minimizes the number of disjoint cut sequences. Mainly, we take into account the number of events which are contained in an MCSS and the number of repeated events included in all MCSSs.%BEFORE演算子を含むFTの最小カット列集合を分離積和法により互いに排反なカット列に分解する場合，生成される排反なカット列の数は分離積和法を適用する際の分解順序に依存する．この論文では，分解後に得られる互いに排反なカット列の数が最小となるような条件を考察する．主として，各順序列集合の事象の数または重複している事象の数を考慮する．