Depends on what you want to understand about the system. If you're looking to understand it's properties and how it behaves I would look into something more ro

Depends on what you want to understand about the system. If you're looking to understand it's properties and how it behaves I would look into something more robust like Alloy 6 [0] which has a great visualization system for inspecting models. However if you're looking for a class diagram tool then it's outside your wheelhouse. There's also something I've played around with a bit but haven't used seriously: Moose [1]. It's basically an IDE for doing analysis of code. The trick is writing good parsers. [0] https://alloytools.org/alloy6.html https://alloytools.org/alloy6.html [1] https://moosetechnology.org/ https://moosetechnology.org/