Gravar-mail: Petri net-based approach to modeling and analysis of selected aspects of the molecular regulation of angiogenesis