Package de.huberlin.informatik.pnk.kernel

Class Summary

Arc	Describes an arc of a Petri Net.
BlockStructure	A net may be structured by a tree of blocks of type BlockStructure.
Edge	Defines an edge of a directed graph.
Extendable	The root class for all extendable classes of the package de.huberlin.informatik.pnk.kernel .
Extension	Defines common attributes and behaviour of an extension of an extendable that is a graph or a Petri Net or their members.
Graph	A directed graph consisting of nodes and edges.
Kerntest	Test der Konstruktor- und Selektormethoden eines Netzes.
Member	Represents the common features of all graph and Petri Net members : (nodes, edges, places, transitions and arcs).
NameExtension	Defines an extension for node names.
Net	A bipartitioned, directed graph with some standard extensions called Petri Net .
Node	Defines a node of a graph.
Place	Describes a place of a Petri Net
PlaceArc	Describes an arc of a Petri Net.
Specification	The backbone for any extensions to a graph or a Petri Net.
SpecificationTable	A specification is given by a String describing a table.
Transition	Describes a transition of a Petri Net.
TransitionArc	Describes an arc of a Petri Net.