projects
Funding Number: FKZ0316177E
latest update: March 23, 2019, at 02:04 PM
In the BTU team, Petri nets are applied to modeling and analysis of the nociceptor pain model, which allow the application of powerful analysis techniques ranging from graph theory, linear algebra via model checking to simulation methods. The Petri net formalism is extremely powerful for modelling the nociception network because it can represent different mechanisms and data types, like the activity of extracellular mediators, signal transducers, intracellular second messengers including their spatial distribution in the cell or tissue, effectors such as ion channels, and membrane potential changes to even subjectively graded parameters like pain in a time-resolved manner.