David Dill, SRI International

"The Pathalyzer: a tool for visualization and analysis of signal transduction pathways"

Petri Nets as a method for monitoring signal transduction pathways. This group developed software to find active pathways in a network of reactions. Encoded in Maude language layed out using Dot. A query (can gene x,y,z be activated), is known as the reachability problem, and can be solved uning 'stubborn sets' otherwise would be an NP hard problem. He mentions that Petri nets are used alot in biology. I havent seen anything like it, does anyone know of any papers using Petri nets?