@inproceedings{clariso05derivation,
  author = "Robert Claris{\'o} and Enric Rodr{\'\i}guez-Carbonell and
            Jordi Cortadella",
  title = "Derivation of Non-structural Invariants of {P}etri Nets Using
           Abstract Interpretation",
  booktitle = "Proc. International Conference on Application and Theory
               of Petri Nets and Other Models of Concurrency (ICATPN'05)",
  editors = "G. Ciardo and P. Darondeau",
  pages = "188--207",
  month = jun,
  year = "2005",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "3536" }