View Java Class Source Code in JAR file
- Download JD-GUI to open JAR file and explore Java source code file (.class .java)
- Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window petri-1.24.jar file.
Once you open a JAR file, all the java classes in the JAR file will be displayed.
org.tweetyproject.logics.petri.syntax
├─ org.tweetyproject.logics.petri.syntax.Ark.class - [JAR]
├─ org.tweetyproject.logics.petri.syntax.PetriNet.class - [JAR]
├─ org.tweetyproject.logics.petri.syntax.PetriNetNode.class - [JAR]
├─ org.tweetyproject.logics.petri.syntax.Place.class - [JAR]
├─ org.tweetyproject.logics.petri.syntax.Transition.class - [JAR]
org.tweetyproject.logics.petri.syntax.reachability_graph
├─ org.tweetyproject.logics.petri.syntax.reachability_graph.Marking.class - [JAR]
├─ org.tweetyproject.logics.petri.syntax.reachability_graph.MarkingEdge.class - [JAR]
├─ org.tweetyproject.logics.petri.syntax.reachability_graph.MarkovWalk.class - [JAR]
├─ org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph.class - [JAR]
├─ org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraphParser.class - [JAR]
org.tweetyproject.logics.petri.plotting
├─ org.tweetyproject.logics.petri.plotting.PetriNetPlotter.class - [JAR]
├─ org.tweetyproject.logics.petri.plotting.ReachabilityGraphPlotter.class - [JAR]
