Beacon Calculus Simulator

Beacon Calculus Simulator implements the Beacon Calculus process algebra to model and simulate dynamic interactions and state-dependent behavior in biological systems, enabling analysis of DNA replication dynamics, gene expression responses to DNA methylation damage, and multisite phosphorylation switches.

Key Features:

• Process algebra framework: Implements the Beacon Calculus, a specialized process algebra for representing components with dynamic interactions and changing states.
• Concise, adaptable models: Enables construction of compact and extensible models for complex biological processes.
• Support for specific biological mechanisms: Demonstrated on DNA replication dynamics, gene expression responses to DNA methylation damage, and multisite phosphorylation switches.
• Model extension capability: Allows adaptation of DNA replication models to incorporate cooperative origin firing and replication fork barriers.
• Simulation engine: Provides the bcs simulator to develop and execute models encoded in the Beacon Calculus.

Scientific Applications:

• DNA replication dynamics: Analysis and simulation of replication origin behavior, fork progression, and replication timing.
• Gene expression response to DNA methylation damage: Modeling transcriptional responses and dynamics following methylation-induced DNA damage.
• Multisite phosphorylation switches: Representation and simulation of multisite phosphorylation mechanisms and their switching behavior.
• Extended replication scenarios: Modeling cooperative origin firing and replication fork barriers within replication models.

Methodology:

Models are encoded using the Beacon Calculus process algebra and executed using the bcs simulator.