1 package de.yasc.example.petrinet;
3 import java.io.IOException;
4 import java.util.Arrays;
7 public static void main(String arg[]) {
9 var parser = new PetrinetParser(System.in);
10 var net = parser.read();
14 System.out.println(Arrays.asList(net.getMarking()).toString());
15 } catch (IOException ex) {
16 System.err.println("Error: "+ex.getMessage());