C# Class PetriNetCore.MatrixPetriNet

Description of MatrixPetriNet.

Inheritance: PetriNetBase, IPetriNet

ファイルを表示 Open project: aabs/PetriNets Class Usage Examples

Public Properties

Property	Type	Description
Places	string>.Dictionary
TransitionFunctions	List>>.Dictionary
TransitionPriorities	int>.Dictionary
Transitions	string>.Dictionary

Public Methods

Method	Description
AddArcFromTransition ( int placeId, int transitionId ) : void
AddArcIntoTransition ( int placeId, int transitionId ) : void
AllPlaces ( ) : IEnumerable
Fire ( Marking m ) : Marking
GetConflictingTransitions ( ) : IEnumerable
GetEnabledTransitions ( Marking m ) : IEnumerable
GetNextTransitionToFire ( Marking m ) : int?
GetPlaceOutArcs ( int placeId ) : IEnumerable
GetTransitionPriority ( int t ) : int
GetWeight ( int placeid, int transid ) : int
InhibitorsIntoTransition ( int transitionId ) : IEnumerable
IsEmptyTransition ( int transitionId ) : bool
NonInhibitorsIntoTransition ( int transitionId ) : IEnumerable
RegisterFunction ( int transitionId, Action fn ) : void

Private Methods

Method	Description
AllInArcPlacesHaveMoreTokensThanTheArcWeight ( int transitionId, Marking m ) : bool
AllInhibitorsAreFromEmptyPlaces ( int transitionId, Marking m ) : bool
ArcIsInhibitor ( int placeId, int transitionId ) : bool
CreateFiringPlan ( Marking m ) : SparseVector
MatrixPetriNet ( string id, string>.Dictionary placeNames, string>.Dictionary transitionNames, Dictionary inArcs, Dictionary outArcs ) : System
MatrixPetriNet ( string id, string>.Dictionary placeNames, string>.Dictionary transitionNames, Dictionary inArcs, Dictionary outArcs, int>.Dictionary transitionOrdering ) : System
ObjectInvariant ( ) : void

Method Details

AddArcFromTransition() public method

public AddArcFromTransition ( int placeId, int transitionId ) : void
placeId	int
transitionId	int
return	void

AddArcIntoTransition() public method

public AddArcIntoTransition ( int placeId, int transitionId ) : void
placeId	int
transitionId	int
return	void

AllPlaces() public method

public AllPlaces ( ) : IEnumerable
return	IEnumerable

Fire() public method

public Fire ( Marking m ) : Marking
m	Marking
return	Marking

GetConflictingTransitions() public method

public GetConflictingTransitions ( ) : IEnumerable
return	IEnumerable

GetEnabledTransitions() public method

public GetEnabledTransitions ( Marking m ) : IEnumerable
m	Marking
return	IEnumerable

GetNextTransitionToFire() public method

public GetNextTransitionToFire ( Marking m ) : int?
m	Marking
return	int?

GetPlaceOutArcs() public method

public GetPlaceOutArcs ( int placeId ) : IEnumerable
placeId	int
return	IEnumerable

GetTransitionPriority() public method

public GetTransitionPriority ( int t ) : int
t	int
return	int

GetWeight() public method

public GetWeight ( int placeid, int transid ) : int
placeid	int
transid	int
return	int

InhibitorsIntoTransition() public method

public InhibitorsIntoTransition ( int transitionId ) : IEnumerable
transitionId	int
return	IEnumerable

IsEmptyTransition() public method

public IsEmptyTransition ( int transitionId ) : bool
transitionId	int
return	bool

NonInhibitorsIntoTransition() public method

public NonInhibitorsIntoTransition ( int transitionId ) : IEnumerable
transitionId	int
return	IEnumerable

RegisterFunction() public method

public RegisterFunction ( int transitionId, Action fn ) : void
transitionId	int
fn	Action
return	void

Property Details

Places public_oe property

public Dictionary Places
return	string>.Dictionary

TransitionFunctions public_oe property

public Dictionary>> TransitionFunctions
return	List>>.Dictionary

TransitionPriorities public_oe property

public Dictionary TransitionPriorities
return	int>.Dictionary

Transitions public_oe property

public Dictionary Transitions
return	string>.Dictionary