@InProceedings{HGD08,
author={M. Heiner and D. Gilbert and R. Donaldson},
title={Petri Nets for Systems and Synthetic Biology},
booktitle={Formal Methods for Computational Systems Biology},
year={2008},

editor={},
pages={215-264},
organization={},
publisher={Springer},
series={LNCS},
volume={5016},
address={},
month={},
note={},
key={}
}