Is there any visualization library for creating process mining based graphs in svg?