ゲノム情報科学研究教育機構  アブストラクト
Date Feb 6, 2015
Speaker Emna Ben Abdallah
Title Exhaustive dynamic analysis of Process Hitting models through Answer Set Programming
Abstract The Process Hitting (PH) is a recently introduced framework to model concurrent processes. It is notably suitable to model biological regulatory networks and allows effective analysis of these systems.

In this talk, we will present the methods we designed through logic programming (Answer Set Programming) to perform an exhaustive analysis of some dynamic properties of Process Hitting. We address the problem of reachability that consists of deciding whether, starting from a given initial state, it is possible to achieve a specific given state. We also address the identification of fixed points, which are stable states in which no evolution is possible anymore. We illustrate the merits of our work by applying them to biological benchmarks and compare the results to the ones obtained with methods from the literature.
「セミナー」に戻る      
 ホーム