Petri net based model of the body iron homeostasis

نویسندگان

  • Dorota Formanowicz
  • Andrea Sackmann
  • Piotr Formanowicz
  • Jacek Blazewicz
چکیده

The body iron homeostasis is a not fully understood complex process. Despite the fact that some components of this process have been described in the literature, the complete model of the whole process has not been proposed. In this paper a Petri net based model of the body iron homeostasis is presented. Recently, Petri nets have been used for describing and analyzing various biological processes since they allow modeling the system under consideration very precisely. The main result presented in the paper is twofold, i.e., an informal description of the main part of the whole iron homeostasis process is described, and then it is also formulated in the formal language of Petri net theory. This model allows for a possible simulation of the process, since Petri net theory provides a lot of established analysis techniques.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Some aspects of the anemia of chronic disorders modeled and analyzed by petri net based approach

Anemia of chronic disorders is a very important phenomenon and iron is a crucial factor of this complex process. To better understand this process and its influence on some other factors we have built a mathematical model of the human body iron homeostasis, which possibly most exactly would reflect the metabolism of iron in the case of anemia and inflammation. The model has been formulated in t...

متن کامل

Modeling the process of human body iron homeostasis using a variant of timed Petri nets

The body iron homeostasis is one of the most important processes in the human body. This complex process is not fully understood and until recently only some parts of it have been described in the literature. In our recent papers the main part of the process has been described and a model based on Petri net theory has been proposed. However, in this model any time dependencies occurring in the ...

متن کامل

A Petri-net based modeling tool, for analysis and evaluation of computer systems

Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports dif...

متن کامل

A Formal Petri Net Based Model for Antivirus Update Agent System

In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...

متن کامل

Petri Net Modeling for Parallel Bank ATM Systems

In this paper the real time operation of an automatic teller machine (ATM) is analyzed using aTimed Petri Net (TPN) model. In the modeling, the probability of arrivals, the speed andattentiveness of customers (clients) are taken to account. Different parameters are based onthe statistical data. The model is simulated for 24 hours. The diagrams of number ofsucceeded customers, failed references ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Journal of biomedical informatics

دوره 40 5  شماره 

صفحات  -

تاریخ انتشار 2007