EZPetri: A Petri net interchange framework for Eclipse based on PNML

Gabriel Alves, Adilson Arcoverde, Ricardo Massa Ferreira Lima, Paulo Romero Martins Maciel. EZPetri: A Petri net interchange framework for Eclipse based on PNML. In Tiziana Margaria, Bernhard Steffen, Anna Philippou, Manfred Reitenspie├č, editors, International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings. Volume TR-2004-6 of Technical Report, pages 143-149, Department of Computer Science, University of Cyprus, 2004.

Abstract

Abstract is missing.