Title: System Specification with labelled Nets and the Notion of Interface Equivalence