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 (var parser = new PetrinetParser(System.in)) {
   9             var net = parser.read();
  10
  11             // test code
  12             net.step(2);
  13             System.out.println(Arrays.asList(net.getMarking()).toString());
  14         } catch (IOException ex) {
  15             System.err.println("Error: "+ex.getMessage());
  16             System.exit(1);
  17         }
  18     }
  19 }