Multifacetted modelling and discrete event simulation
Multifacetted modelling and discrete event simulation
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Information Processing Letters
A component-based simulation layer for JAMES
Proceedings of the eighteenth workshop on Parallel and distributed simulation
Processing Dynamic PDEVS Models
MASCOTS '04 Proceedings of the The IEEE Computer Society's 12th Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
BioAmbients: an abstraction for biological compartments
Theoretical Computer Science - Special issue: Computational systems biology
WSC '05 Proceedings of the 37th conference on Winter simulation
Beta binders for biological interactions
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
FMSB '08 Proceedings of the 1st international workshop on Formal Methods in Systems Biology
A Bounded-Optimistic, Parallel Beta-Binders Simulator
DS-RT '08 Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications
Hi-index | 0.00 |
BETA-BINDERS form a recently developed extension of stochastic \pi CALCULUS to describe micro-biological systems. It introduces special binders to wrap processes just as membranes enclose some living matter and hence to mimic biological interfaces. One means to define the operational semantics of a modeling formalism is by an abstract simulator description. In developing an abstract simulator for BETA-BINDERS concepts are adopted that have been developed in the context of JAMES II. Processors of the simulator are structured into a hierarchy and each of them is splitted into different methods. This design reflects the structure of BETA-BINDERS models and facilitates experimenting with different operational semantics. Two discrete event simulation schemes, the First-Gillespie method and Gibson-Bruck method, are combined to calculate the reactions that occur within and between the modeled bioprocesses, respectively. The functioning of the simulator is illustrated by processing step-wise the reaction of an immune cell to the occurrence of a virus.%