Modeling and Control of Boolean Networks | Synapse