public static void main(String[] args) throws IOException,
			InterruptedException {
		if (args.length == 1 && args[0].equals("-i")) {			
			// started with command line argument -i
			// read the input
			//String input = readStandardInput();
			String input = Utf8IO.readStdin();

			/*
			 * Parse the Input LTS and Generate the Class
			 */
			
			LTS lts = parseAndGenerateLTS(input);

			/*
			 * Minify LTS - has to be concurrent TODO
			 */
			
			LTS minified = minifyLTS(lts);
			/*
			 * Generate new LTS in LTS-JSON-Format
			 */
			String minJSON = minified.generateJSONLtsString();
			/*
			 * Print minified LTS
			 */
			
			System.out.print(minJSON);
			

		} 
		else if (args.length == 1 && args[0].equals("-b")) {
		
			String input = readStandardInput();

			/*
			 * Parse the Input LTS and Generate the Class
			 */
			LTS lts = parseAndGenerateLTS(input);

			/*
			 * Minify LTS - has to be concurrent TODO
			 */
			
			LTS minified = minifyLTS(lts);
			/*
			 * Genrate new LTS in LTS-JSON-Format
			 */
			//String minJSON = minified.generateJSONLtsString();
			/*
			 * Print minified LTS
			 */
			//System.out.println(minified.toString());
			openInBrowserDemo(minified.generateJSONLtsForm());
			
			while(true){
				System.out.println("..");
				 input = readStandardInput();
				 lts = parseAndGenerateLTS(input);
				openInBrowserDemo(lts.generateJSONLtsForm());

			}
			
		} else if (args.length == 1 && args[0].equals("-wk")) {
			// started with command line argument -wk


			// read the input
			String input = readStandardInput();

			/*
			 * Parse the Input LTS and Generate the Class
			 */
			LTS lts = parseAndGenerateLTS(input);
			/*
			 * Compute and get weakTransitions
			 */
			HashSet<Transition> weakTransitions = lts
					.getWeakTransitionRelation();
			LinkedList<String> transList = new LinkedList<String>();
			for (Transition trans : weakTransitions) {
				transList.add(trans.toString());
			}
			Collections.sort(transList);

			//System.out.println("weak Transitions: " + weakTransitions.size());
			//for (String trans : transList) {
				//System.out.println(trans.toString());
			//}

		} else {
			// other command line arguments
			System.err
					.println("No valid Arguments submitted, sorry! Shutting Down");
		}
	}