“…If we do not assume any additional lattice order on states, we are able to define a simple notion of partition based abstraction. This abstraction technique has been developed in [18,7], and is suitable for simple analyses that consist in "forgetting" information when going from concrete to abstract states. If we want to use more elaborate abstractions, and in particular reuse the classical abstractions of standard abstract interpretation theory, we have to find an abstraction technique that copes with two distinct notions of order: the dioid order on costs, and the lattice order on states.…”