put maude files in a folder

README.md

@@ -16,11 +16,11 @@ Details about the translation can be found in [this paper](./paper.pdf).
 The project was tested in [Maude 3.2](http://maude.cs.illinois.edu/) and [Maude
 SE](https://maude-se.github.io/). A script written in [Python
 3.10](https://www.python.org/) is used to parse Imitator input files into Maude
-files. 
+files.
 
 ### Maude files
 
-The specification includes the following files:
+The specification can be found in the folder `maude`. It includes the following files:
 
 - _pta-base_: Sorts for defining locations, states and constrained terms.
 - _meta-pta_: Reachability procedures with folding.
@@ -30,15 +30,15 @@ The specification includes the following files:
   behavior of the PTA.
 - _ex-fig3a_, _ex-fig3b_, _ex-fig3b-folding_: Examples in Figure 3 in the paper.
 
-See the headers of each file for further information. 
+See the headers of each file for further information.
 
 ### Parser
 
-See the file [README](./parser/README.md) for further information about the
-parser implemented in Python, translating Imitator files into Maude
-theories. 
+The parser of Imitator models into Maude theories can be found in `pta2maude`.
+See the file [README](./pta2maude/README.md) for further information about its
+implementation in Python.
 
 ### Benchmarks
 
-See the file [README](./behavior/README.md) for further information about 
+See the file [README](./benchmarks/README.md) for further information about
 the benchmarks comparing the performance of Imitator and our analyses.