Lautenbach, K.K.LautenbachPagnoni, A.A.Pagnoni2022-03-072022-03-071985https://publica.fraunhofer.de/handle/publica/284998en004005006Invariance and duality in predicate/transition nets and in coloured netsreport