C# Class PetriNetCore.MatrixPetriNet

Description of MatrixPetriNet.
Inheritance: PetriNetBase, IPetriNet
Afficher le fichier Open project: aabs/PetriNets Class Usage Examples

Méthodes publiques

Свойство Type Description
Places string>.Dictionary
TransitionFunctions List>>.Dictionary
TransitionPriorities int>.Dictionary
Transitions string>.Dictionary

Méthodes publiques

Méthode 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

Méthode 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 méthode

public AddArcFromTransition ( int placeId, int transitionId ) : void
placeId int
transitionId int
Résultat void

AddArcIntoTransition() public méthode

public AddArcIntoTransition ( int placeId, int transitionId ) : void
placeId int
transitionId int
Résultat void

AllPlaces() public méthode

public AllPlaces ( ) : IEnumerable
Résultat IEnumerable

Fire() public méthode

public Fire ( Marking m ) : Marking
m Marking
Résultat Marking

GetConflictingTransitions() public méthode

public GetConflictingTransitions ( ) : IEnumerable
Résultat IEnumerable

GetEnabledTransitions() public méthode

public GetEnabledTransitions ( Marking m ) : IEnumerable
m Marking
Résultat IEnumerable

GetNextTransitionToFire() public méthode

public GetNextTransitionToFire ( Marking m ) : int?
m Marking
Résultat int?

GetPlaceOutArcs() public méthode

public GetPlaceOutArcs ( int placeId ) : IEnumerable
placeId int
Résultat IEnumerable

GetTransitionPriority() public méthode

public GetTransitionPriority ( int t ) : int
t int
Résultat int

GetWeight() public méthode

public GetWeight ( int placeid, int transid ) : int
placeid int
transid int
Résultat int

InhibitorsIntoTransition() public méthode

public InhibitorsIntoTransition ( int transitionId ) : IEnumerable
transitionId int
Résultat IEnumerable

IsEmptyTransition() public méthode

public IsEmptyTransition ( int transitionId ) : bool
transitionId int
Résultat bool

NonInhibitorsIntoTransition() public méthode

public NonInhibitorsIntoTransition ( int transitionId ) : IEnumerable
transitionId int
Résultat IEnumerable

RegisterFunction() public méthode

public RegisterFunction ( int transitionId, Action fn ) : void
transitionId int
fn Action
Résultat void

Property Details

Places public_oe property

public Dictionary Places
Résultat string>.Dictionary

TransitionFunctions public_oe property

public Dictionary>> TransitionFunctions
Résultat List>>.Dictionary

TransitionPriorities public_oe property

public Dictionary TransitionPriorities
Résultat int>.Dictionary

Transitions public_oe property

public Dictionary Transitions
Résultat string>.Dictionary