離散事象システムのモデル化手法にはさまざまな種類が存在し、システムの特性によって適切な手法が異なる。しかし、複数の手法でモデル化したシステムをシミュレーションしようとすると、モデル間の調整が問題となる。そこで、多くのモデルから変換することが可能なDEVS(Discrete Event System Specification)に統一することを考える。本稿では、エンティティの挙動を手続き的に表すプロセス指向でモデル化されたシステムをDEVSに変換し、DEVSシミュレータでシミュレーションを行う方法を提案するとともに、F#による実装を報告する。