src/main/java/de/yasc/example/petrinet/Main.java

   1 package de.yasc.example.petrinet;
   2
   3 import java.io.IOException;
   4 import java.util.Arrays;
   5
   6 public class Main {
   7     public static void main(String arg[]) {
   8         try {
   9             var parser = new PetrinetParser(System.in);
  10             var net = parser.read();
  11
  12             net.step(2);
  13
  14             System.out.println(Arrays.asList(net.getMarking()).toString());
  15         } catch (IOException ex) {
  16             System.err.println("Error: "+ex.getMessage());
  17             System.exit(1);
  18         }
  19     }
  20 }