JointJS - JavaScript diagramming library - Demos.

Petri Nets

Source Code on GitHub.