C# Class PetriNetCore.PetriNetBase

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

Public Methods

Method	Description
AllPlaces ( ) : IEnumerable
CreateInitialMarking ( ) : Marking
GetEnabledTransitionsAdjacentToPlace ( int placeId, Marking m ) : IEnumerable
GetPlaceOutArcs ( int placeId ) : IEnumerable
GetWeight ( int placeid, int transid ) : int
InhibitorsIntoTransition ( int transitionId ) : IEnumerable
IsConflicted ( Marking m ) : bool
IsEmptyTransition ( int transitionId ) : bool
IsEnabled ( int transitionId, Marking m ) : bool
NonInhibitorsIntoTransition ( int transitionId ) : IEnumerable
PlaceIsConflicted ( int placeId, Marking m ) : bool

Private Methods

Method	Description
AllInArcPlacesHaveMoreTokensThanTheArcWeight ( int transitionId, Marking m ) : bool
AllInhibitorsAreFromEmptyPlaces ( int transitionId, Marking m ) : bool

Method Details

AllPlaces() public abstract method

public abstract AllPlaces ( ) : IEnumerable
return	IEnumerable

CreateInitialMarking() public method

public CreateInitialMarking ( ) : Marking
return	Marking

GetEnabledTransitionsAdjacentToPlace() public method

public GetEnabledTransitionsAdjacentToPlace ( int placeId, Marking m ) : IEnumerable
placeId	int
m	Marking
return	IEnumerable

GetPlaceOutArcs() public abstract method

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

GetWeight() public abstract method

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

InhibitorsIntoTransition() public abstract method

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

IsConflicted() public method

public IsConflicted ( Marking m ) : bool
m	Marking
return	bool

IsEmptyTransition() public abstract method

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

IsEnabled() public method

public IsEnabled ( int transitionId, Marking m ) : bool
transitionId	int
m	Marking
return	bool

NonInhibitorsIntoTransition() public abstract method

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

PlaceIsConflicted() public method

public PlaceIsConflicted ( int placeId, Marking m ) : bool
placeId	int
m	Marking
return	bool