Package dev.tuplle.petri4j.parser.json.model

Class PetrinetSchema

java.lang.Object
dev.tuplle.petri4j.parser.json.model.PetrinetSchema
@Generated("jsonschema2pojo") public class PetrinetSchema extends Object
Petri Net schema

The Petri Net json schema accepted by Petri4J library.

  • Constructor Details

    • PetrinetSchema

      public PetrinetSchema()

  • Method Details

    • getId

      public String getId()
      The net's id

      Generated id of the Petri net.

    • setId

      public void setId(String id)
      The net's id

      Generated id of the Petri net.

    • getName

      public String getName()
      The net's name

      The name of the net to better identify the net. (Required)

    • setName

      public void setName(String name)
      The net's name

      The name of the net to better identify the net. (Required)

    • getTransitions

      public List<Transition> getTransitions()
      Transitions of the net

      A set of transitions of the net. (Required)

    • setTransitions

      public void setTransitions(List<Transition> transitions)
      Transitions of the net

      A set of transitions of the net. (Required)

    • getPlaces

      public List<Place> getPlaces()
      The places of the net

      A set of places of the Petri net. (Required)

    • setPlaces

      public void setPlaces(List<Place> places)
      The places of the net

      A set of places of the Petri net. (Required)

    • getArcs

      public List<Arc> getArcs()
      The arcs of the net

      A set of arcs of the net. (Required)

    • setArcs

      public void setArcs(List<Arc> arcs)
      The arcs of the net

      A set of arcs of the net. (Required)

    • getAdditionalProperties

      public Map<String,Object> getAdditionalProperties()

    • setAdditionalProperty

      public void setAdditionalProperty(String name, Object value)

    • toString

      public String toString()
      Overrides:
      toString in class Object

    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class Object

    • equals

      public boolean equals(Object other)
      Overrides:
      equals in class Object