PetriNet editor and simulator, try here:

https://csurgay.com/petri

And now with Reachability Analysis that visualize the state space of Petri Nets with a state machine! (by Perjési Patrik Zoltán, student of the Infocommunications Systems - Protocol Engineering lecture, 2025)