Visualizing State Spaces with Petri Nets
Abstract interpretation of reactive systems