Modeling and analysis of biological processes by mem(brane) calculi and systems