Coupling of Petri Net Models of the Mycobacterial Infection Process and Innate Immune Response

Coloured Petri nets for multilevel, multiscale and multidimensional modelling of biological systems

Owing to the availability of data of one biological phenomenon at different levels/scales, modelling of biological systems is moving from single level/scale to multiple levels/scales, which introduces a number of challenges. Coloured Petri nets (ColPNs) have been successfully applied to multilevel, multiscale and multidimensional modelling of some biological systems, addressing many of these challenges. In this article, we first review the basics of ColPNs and some popular extensions, and then their applications for multilevel, multiscale and multidimensional modelling of biological systems. This understanding of how to use ColPNs for modelling biological systems will assist readers in selecting appropriate ColPN classes for specific modelling circumstances.

Development of a Computational Model of Abscess Formation

In some bacterial infections, the immune system cannot eliminate the invading pathogen. In these cases, the invading pathogen is successful in establishing a favorable environment to survive and persist in the host organism. For example, S. aureus bacteria survive in organ tissues employing a set of mechanisms that work in a coordinated and highly regulated way allowing: (1) efficient impairment of the immune response; and (2) protection from the immune cells and molecules. S. aureus secretes several proteins including coagulases and toxins that drive abscess formation and persistence. Unless staphylococcal abscesses are surgically drained and treated with antibiotics, disseminated infection and septicemia produce a lethal outcome. Within this context, this paper develops a simple mathematical model of abscess formation incorporating characteristics that we judge important for an abscess to be formed. Our aim is to build a mathematical model that reproduces some characteristics and behaviors that are observed in the process of abscess formation.

Modeling biological gradient formation: combining partial differential equations and Petri nets

Both Petri nets and differential equations are important modeling tools for biological processes. In this paper we demonstrate how these two modeling techniques can be combined to describe biological gradient formation. Parameters derived from partial differential equation describing the process of gradient formation are incorporated in an abstract Petri net model. The quantitative aspects of the resulting model are validated through a case study of gradient formation in the fruit fly.