Interfaces

	Interface	Description
	IArc	A directed edge of a net which may connect a IPlace to a ITransition or a ITransition to a IPlace.
	IConditionExpression
	IExpression
	IMutablePetriNet
	IPetriNet	A High Level Petri Graph.
	IPetriVertex	A vertex (node) of a Petri Graph.
	IPlace	A Place in the HLPN framework
	ITransition	A node of a net, taken from the transition kind.