Package ptolemy.domains.petrinet.kernel

Petri net domain kernel.

See:
Description

Class Summary

PetriNetActor	A Petri net Actor As defined in the PetriNetDirector.java, a PetriNetActor is a directed and weighted graph G = (V, E) containing three kinds of nodes: Places p_i, Transitions t_i, and PetriNetActors PA_i, i.e., V = {p_i} union {t_i} union {PA_i} , where each PA_i itself is again defined as a PetriNetActor.
PetriNetDirector	Petri net director.
Place	A Petri net place.

Package ptolemy.domains.petrinet.kernel Description

Petri net domain kernel.

Since:

Ptolemy II 2.0