Ultimate Petri Automizer implements a Petri net-based approach for the verification of concurrent programs.
Petri Automizer is available via a web interface.