Class SearchPetriNet


  • public class SearchPetriNet
    extends java.lang.Object
    • Field Summary

      Fields 
      Modifier and Type Field Description
      java.util.Map<java.lang.String,​java.lang.Object> dataSet  
      java.lang.String petriNet  
      java.util.List<java.lang.String> transitions  
    • Constructor Summary

      Constructors 
      Constructor Description
      SearchPetriNet()  
    • Method Summary

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • petriNet

        public java.lang.String petriNet
      • transitions

        public java.util.List<java.lang.String> transitions
      • dataSet

        public java.util.Map<java.lang.String,​java.lang.Object> dataSet
    • Constructor Detail

      • SearchPetriNet

        public SearchPetriNet()