Duality in high level petri-nets - a basis to do diagnoses | IEEE Conference Publication | IEEE Xplore