An Extended Gene Protein/Products Boolean Network Model Including Post-Transcriptional Regulation