Home >> All

•	tfn.animation.* (3)	•	tfn.file.* (11)	•	tfn.gui.* (44)	•	tfn.layout.* (4)
•	tfn.petrinet.* (18)

• tfn: Javadoc index of package tfn.


Package Samples:

• tfn.animation: The control module of TFN - your favorite petrinet simulator.  
• tfn.file
• tfn.gui
• tfn.layout
• tfn.petrinet

Classes:

• MiniBrowser: The MiniBrowser classs. This is the TFN-Help-Browser for showing useful Information for the TFN-Petrinet-Simulator. This class forms a tiny Web-browser to view HTML-files. Although its possible to brows every HTML-file in theory, its capabilities are limited.
• IllegalStateException: This exception is thrown when the initial animation leads to a conflict or a deadlock. Initial animation means when a petrinet has been saved not in its initial state, the animation steps need to be recomputed when loading the file.
• Arrow: Drawing the tip of an arrow is annoingly tedious, so I decided to "hardcode" for different Arrows. They match the positions retuned by the computEnd Methods of the different Types of vertices. This may suck, but arrows might as well.
• CommandListener: Superclass of all Listeners who instantiate a commando. Handles also the behaviour if after a commando is executed the system will remain in this commando state or the system will go into the "NONE_SELECTED" State.
• TFNFileManager: Class TFNFileManager provides Methods to load and store Petrinets. Method generateSymbolTable does not longer exist. Instead there is an new Class named SymbolTable in this Package.
• List: Implements a linked list used as help structure by several classes. This is not just a List, it is a LIFTSOIAL - List implemented for the sake of implementing a LIFTSOIAL.
• TFNLayouter: This class - TFNFileLayouter - provides a method to layout a Petrinet. The Petrinet recieved by this class is saved via the TFNFileManager. The Layouter called is DOT.
• IllegalEdgeException: Represents an exception that has occured in the Petrinet graph, when trying to insert an edge that does not meet the plausibility requirements.
• Animation: This class performs the animation of a petrinet and administers a list of the petrinet's states in each step of the animation.
• Memento: This class stores the internal representation of a data object according to the Memento Design Pattern.
• ObjectNotFoundException: Represents an exception that indicates that the requestet object could not be found in the list.
• Originator: This interface represents the creator of Mementos according to the Memento Design Pattern.
• LinkListener: The LinkListener class is dealin with the Hyperlink events thrown by the MiniBrowser
• AnimToolBar: Implements the toolbar where the buttons for animating the petrinet are located.
• tfnCodeGen: Provides a Method to generate a TFN-File from a petrinet and its Symboltalbe.
• EditToolBar: Implements the toolbar where the buttons for editing the petrinet are located.
• SysToolBar: Implements the toolbar where the buttons for system interaction are located.
• HelpBrowser: This class creates a new TFN-MiniBrowser when "Help" in the gui is clicked
• TFNJPanel: The paint component of TFN. This is where the petrinet paint's itself on.
• Symboltable: Symboltable matches each vertes in the Petrinet to an unique identifier.
• PlausibilityError: This class represents an error of the plausibility check of a petrinet.
• Token: Encapsulates the Token of a Petrinet to support a distinction of them.

Home | Contact Us | Privacy Policy | Terms of Service