Commit e1622d72 authored by Ballarini Paolo's avatar Ballarini Paolo
Browse files

Update README.md

parent 9c63829c
......@@ -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
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment