境界因子設計モデルのペトリネットによる制御オブジェクト・オペレーション二元論によるモデルの表現:オブジェクト・オペレーション二元論によるモデルの表現