Media type: E-Article Title: Advances in Petri Nets 1984: Liveness and duality in marked-graph-like predicate/transition nets Contributor: Lautenbach, Kurt; Pagnoni, Anastasia imprint: Springer Berlin Heidelberg, 1985 Published in: Advances in Petri Nets 1984 Language: Not determined DOI: 10.1007/3-540-15204-0_19 ISSN: 0302-9743; 1611-3349 Origination: Footnote: