Export to mCRL2

This chapter of the help file shows you all information about a exporting a GraPE-specification.

Before you can export a GraPE-specification into mCRL2, you have to make sure you have a GraPE-specification.

If all requirements stated above are met you can save a GraPE-specification with a different filename by following the next steps:

  1. Click in the menubar on Specification -> Export < diagram > to mCRL2.
  2. You will get a dialogbox as is shown in figure 1. In this dialogbox you can enter the path and name of the file.

Figure 1