Having SoC for HDTV under verification, verifying different components of SoC at block level are so far satisfactorily done using simulation. Now having full chip level environment and run-ning ...

A BPMN 2.0 specification compliant token simulator, built as a bpmn-js extension. Try it on the classic booking example or checkout the full capability demo.