Bigmc-gui is a project mainly written in Java, it's free.

A simple GUI interface to the BigMC Bigraphical Model Checker