A method is specified for comparing two specifications which each comprise atleast twoprocesses, each of which includes at least two events. A first comparisonbetween the twospecifications is carried out with regard to the sequence of the events in theprocesses, and asecond comparison between the two specifications is carried out, takingaccount of therelationships between events in different processes.
展开▼
