Download: Colored Invariants in Predicate/Transition Nets

Wait 3 seconds or manually download the file