A new version of ROSECON - A software tool for modeling and analyzing systems of processes working together

In the paper, we introduce a new version of the ROSECON system - a software tool featuring a set of methods for modeling and analyzing systems of processes working together (systems of concurrent processes). Concurrency is understood widely. In the presented area, the system of concurrent processes is a system consisting of some separated processes whose local states are partly independent on the local states of other processes. In such systems, we can distinguish some separated processes and we are interested in dependencies between local states of individual processes, possibilities of coexistence of local states of individual processes at the same time, etc. The ROSECON system helps us, among others, in solving such problems.