• English
    • العربية
  • English
  • تسجيل الدخول
  • جامعة قطر
  • مكتبة جامعة قطر
  •  الصفحة الرئيسية
  • الوحدات والمجموعات
  • عن المستودع الرقمي
    • الرؤية والرسالة
  • المساعدة
    • إرسال الأعمال الأكاديمية
    • سياسات الناشر
    • أدلة المستخدم
      • عرض المستودع الرقمي
      • البحث في المستودع الرقمي (البحث البسيط والبحث المتقدم)
      • ارسال عملك للمستودع الرقمي
      • مصطلحات المستودع الرقمي
عرض التسجيلة 
  •   مركز المجموعات الرقمية لجامعة قطر
  • المستودع الرقمي لجامعة قطر
  • أكاديمية
  • مساهمة أعضاء هيئة التدريس
  • كلية الهندسة
  • علوم وهندسة الحاسب
  • عرض التسجيلة
  • مركز المجموعات الرقمية لجامعة قطر
  • المستودع الرقمي لجامعة قطر
  • أكاديمية
  • مساهمة أعضاء هيئة التدريس
  • كلية الهندسة
  • علوم وهندسة الحاسب
  • عرض التسجيلة
  •      
  •  
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    An automated approach to translate a biological process from ODEs into graphical hybrid functional Petri Nets

    Thumbnail
    التاريخ
    2017
    المؤلف
    Mecheter, Imene
    Hadjidj, Rachid
    Foufou, Sebti
    البيانات الوصفية
    عرض كامل للتسجيلة
    الملخص
    The study of biological systems is growing rapidly, and can be considered as an intrinsic task in biological research, and a prerequisite for diagnosing diseases and drug development. The integration of biological studies with computer technologies led to noticeable developments in biology with the appearance of many powerful modeling and simulation techniques and tools. The help of computers in biology resulted in deeper knowledge about complex biological systems and biopathways behaviors. Among modeling tools, the Petri Net formalism plays an important role. Petri Net is a powerful computerized and graphical modeling technique originally developed by Carl Adam Petri in 1960 to model discrete event systems. With its various extensions, Petri Nets find applications in many other fields including Biology. The extension known under the name Hybrid Functional Petri Net (HFPN) was developed specifically to model biological systems. Traditionally, biological processes are captured as systems of ordinary differential equations (ODEs). However, HFPNs offer a much more elegant and versatile approach to represent these processes more accurately. In fact, HFPNs allow to capture phenomena which are impossible to capture with ODES, while being more intuitive and easy to understand and model with. In this work we propose an approach to translate a system of ODEs representing a biological process into a HFPN. The resulting HFPN, not only preserves the semantics of the original model, but is also more humanly readable thanks to the use of a novel technique to connect its components in a smart way. To validate our approach, we implemented it as an extension to the tool Real Time Studio (an integrated environment for modeling, simulation and automatic verification of real-time systems), and compared our simulation results with those obtained by simulating systems of ODEs using MATLAB. 1 2017 IEEE.
    DOI/handle
    http://dx.doi.org/10.1109/CIBCB.2017.8058558
    http://hdl.handle.net/10576/16428
    المجموعات
    • علوم وهندسة الحاسب [‎2485‎ items ]

    entitlement


    مركز المجموعات الرقمية لجامعة قطر هو مكتبة رقمية تديرها مكتبة جامعة قطر بدعم من إدارة تقنية المعلومات

    اتصل بنا
    اتصل بنا | جامعة قطر

     

     

    الصفحة الرئيسية

    أرسل عملك التابع لجامعة قطر

    تصفح

    محتويات مركز المجموعات الرقمية
      الوحدات والمجموعات تاريخ النشر المؤلف العناوين الموضوع النوع اللغة الناشر
    هذه المجموعة
      تاريخ النشر المؤلف العناوين الموضوع النوع اللغة الناشر

    حسابي

    تسجيل الدخول

    إحصائيات

    عرض إحصائيات الاستخدام

    عن المستودع الرقمي

    الرؤية والرسالة

    المساعدة

    إرسال الأعمال الأكاديميةسياسات الناشر

    مركز المجموعات الرقمية لجامعة قطر هو مكتبة رقمية تديرها مكتبة جامعة قطر بدعم من إدارة تقنية المعلومات

    اتصل بنا
    اتصل بنا | جامعة قطر

     

     

    Video