diff --git a/README.md b/README.md index 18a8f47590b331c3a003c35cc7996671ce96a258..728d95867b40b1e16f64563e68a7f422e78dab61 100644 --- a/README.md +++ b/README.md @@ -8,4 +8,9 @@ directory gspn_prodLines/ contains COSMOS .gspn files for DTMC models of product directory GSPN_Generator contains the generator (written in Java) for automatically creating the .gspn file, based on a configuration file. -directory GSPN_Generator/configFiles contains a few examples of configuration files used to generate the COSMOS .gspn models \ No newline at end of file +directory GSPN_Generator/configFiles contains a few examples of configuration files used to generate the COSMOS .gspn models + +How to generate a COSMOS .gspn from a productionLine configFile: + +- javac CosmosGenerator_2phases.java +- java CosmosGenerator_2phases configFileName (e.g. java CosmosGenerator_2phases 5M) \ No newline at end of file