Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation