Fri, Apr 1, 2016
Mon, Oct 1, 2012
Petri-nets are a simple formalism for modeling concurrent computation. Recently, they have emerged as a powerful tool for the modeling and analysis of biochemical reaction networks, bridging the gap between purely qualitative and quantitative models. These networks can be large and complex, which makes their study difficult and computationally challenging […]
Tue, May 1, 2012
Wed, Dec 1, 2010