|
هفتمین همایش بیو انفورماتیک ایران
|
|
|
عنوان فارسی |
|
|
چکیده فارسی مقاله |
|
|
کلیدواژههای فارسی مقاله |
|
|
عنوان انگلیسی |
Efficient Determination of Dead Markings of Petri Nets in Systems Biology |
|
چکیده انگلیسی مقاله |
In this paper, we present an efficient algorithm to detect dead markings of a Petri net which is used as a modeling of a biological system. In doing so, we apply computer algebraic techniques to convert the problem of finding dead markings of a Petri net to a problem in the theory of polynomials and then, we use Gröbner basis to solve it. It is worth noting that Gröbner basis is one of the novel computer algebraic tools which is used to solve systems of polynomial equations. Although Gröbner basis is previously used to analyse a Petri net, however our modeling is simpler and more efficient than the previous work. As a comparison, there is needed to compute (𝑤+1)(𝑤+2) 2 + 𝑚 + 1 polynomials where w is the maximum weight and m is the number of transitions in the Petri net. This is while in our method it is enough to construct m polynomials. Moreover, we state a criterion which can also decrease the number of polynomials. More precisely, in the new modeling, we find a relation between transitions so that some of them are dependent to the others. This may halp then to omit some transitions and this may reduce the amount of computations. |
|
کلیدواژههای انگلیسی مقاله |
Systems Biology, Petri Net, Polynomial Algebra, Gröbner Basis |
|
نویسندگان مقاله |
B. M.- Alizadeh - Damghan University, Damghan
S. Rahmany - Damghan University, Damghan
A. Basiri - Damghan University, Damghan
|
|
نشانی اینترنتی |
http://www.icb7.ir |
فایل مقاله |
دریافت فایل مقاله |
کد مقاله (doi) |
|
زبان مقاله منتشر شده |
en |
موضوعات مقاله منتشر شده |
|
نوع مقاله منتشر شده |
|
|
|
برگشت به:
صفحه اول پایگاه |
دوره مرتبط |
کنفرانس مرتبط |
فهرست کنفرانس ها
|