Bhave prototype

Bhave prototype is a prototype of Behavioural Hybrid Process Calculus simulation tool. BHPC is a process calculus for modelling and analysis of hybrid systems. It combines the behavioural approach for dynamical systems and classical process algebraic techniques.

The tool was developed to test BHPC simulation techniques. It is not intended for critical case studies, but to be used for further language and algorithms developments. It supports a restricted set of BHPC operators. Moreover, it should be used with BHPCC (BHPC Translator) which, provided an BHPC specification, translates it to an internal format. The tools does not provide any visualisation facilities, however tools like Microsoft Excel can be employed to generate various plots from the simulation results.