Purpose: The need for assuring correctness of business processes in enterprises is widely recognised in terms of business process re-engineering and improvement. Formal methods are a promising approach to this issue. The challenge in business process verification is to create a formal model...

<title>Abstract</title>We implement an agent-based simulation of financial market model. Agent-based simulations are used nowadays as an alternative to the traditional models, based on predetermined equilibrium state theory. Agent technology brings some kind of local intelligence and rational expectations to...

The motivation of this paper was to model and to implement an innovative approach to simulate the trading processes of a virtual business company. Agent-based methods together with the Java development platform are used to implement a multi-agent system to serve as a simulation framework. The...