Pieter Van Gorp told me recently about a new method and tool for analyzing conformance to the BPMN 2.0 semantics that is being developed by Eindhoven University of Technology.
You can learn more by reading a paper:
http://is.tm.tue.nl/staff/pvgorp/research/#bpmn20semantics
There are also screencasts and demo available.
Advertisement
