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

ARCOVERDE JUNIOR, A. ; ALVES JUNIOR, G. ; LIMA, R. M. ; MACIEL, P. R. M. ; OLIVEIRA JUNIOR, M. N. ; BARRETO, R. S. . EZPetri: A Petri net interchange framework for Eclipse based on PNML. In: 1st International Symposium on Leveraging Applications of Formal Method (ISoLA'04), 2004, Paphos. International Symposium on Leveraging Applications of Formal Method, 2004.

2004