US9703890B2 - Method and System That Determine Whether or Not Two Graph-Like Representations of Two Systems Describe Equivalent Systems