C# Class PetriNetCore.GraphPetriNet

Inheritance: PetriNetBase

Afficher le fichier Open project: aabs/PetriNets Class Usage Examples

Méthodes publiques

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

Méthodes publiques

Méthode	Description
AddArcFromPlace ( int placeId, int transitionId ) : void
AddArcFromTransition ( int placeId, int transitionId ) : void
AddArcIntoTransition ( int placeId, int transitionId ) : void
AddLinearTransition ( int placeIn, int placeOut, int transitionId ) : void
AllEnabledTransitions ( Marking m ) : IEnumerable
AllPlaces ( ) : IEnumerable
CreateTransitions ( IEnumerable transitions ) : void
Fire ( Marking m ) : Marking	invokes the first enabled transition in the petri net under the supplied Marking. This method will not have any side effects on the Marking passed into the function or on the net itself. This method works by choosing the next transition to fire randomly.
GetConflictedPlaces ( Marking m ) : IEnumerable
GetNextTransitionToFire ( Marking m ) : int?
GetPlaceOutArcs ( int placeId ) : IEnumerable
GetTransitionPriority ( int t ) : int
GetWeight ( int placeid, int transid ) : int
GraphPetriNet ( string id, string>.Dictionary placeNames, string>.Dictionary transitionNames, Dictionary inArcs, Dictionary outArcs ) : System
GraphPetriNet ( string id, string>.Dictionary placeNames, string>.Dictionary transitionNames, Dictionary inArcs, Dictionary outArcs, int>.Dictionary transitionOrdering ) : System
InhibitorsIntoTransition ( int transitionId ) : IEnumerable
IsEmptyTransition ( int transitionId ) : bool
NonInhibitorsIntoTransition ( int transitionId ) : IEnumerable
RegisterFunction ( int transitionId, Action fn ) : void

Private Methods

Méthode	Description
AllDestinationPlaces ( ) : List
AllMarkedPlaces ( Marking m ) : IEnumerable
AllSourcePlaces ( ) : List
GetInArcs ( int transitionId ) : IEnumerable
GetOutArcs ( int transitionId ) : IEnumerable
GetTransitionFunctions ( int transitionId ) : IEnumerable>
ObjectInvariant ( ) : void
PlacesFeedingIntoTransitions ( ) : IEnumerable
SharedInputPlaces ( int t1, int t2 ) : IEnumerable

Method Details

AddArcFromPlace() public méthode

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

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

AddLinearTransition() public méthode

public AddLinearTransition ( int placeIn, int placeOut, int transitionId ) : void
placeIn	int
placeOut	int
transitionId	int
Résultat	void

AllEnabledTransitions() public méthode

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

AllPlaces() public méthode

public AllPlaces ( ) : IEnumerable
Résultat	IEnumerable

CreateTransitions() public méthode

public CreateTransitions ( IEnumerable transitions ) : void
transitions	IEnumerable
Résultat	void

Fire() public méthode

invokes the first enabled transition in the petri net under the supplied Marking.

This method will not have any side effects on the Marking passed into the function or on the net itself. This method works by choosing the next transition to fire randomly.

public Fire ( Marking m ) : Marking
m	Marking	The marking under which transition activation is calculated.
Résultat	Marking

GetConflictedPlaces() public méthode

public GetConflictedPlaces ( 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

GraphPetriNet() public méthode

public GraphPetriNet ( string id, string>.Dictionary placeNames, string>.Dictionary transitionNames, Dictionary inArcs, Dictionary outArcs ) : System
id	string
placeNames	string>.Dictionary
transitionNames	string>.Dictionary
inArcs	Dictionary
outArcs	Dictionary
Résultat	System

GraphPetriNet() public méthode

public GraphPetriNet ( string id, string>.Dictionary placeNames, string>.Dictionary transitionNames, Dictionary inArcs, Dictionary outArcs, int>.Dictionary transitionOrdering ) : System
id	string
placeNames	string>.Dictionary
transitionNames	string>.Dictionary
inArcs	Dictionary
outArcs	Dictionary
transitionOrdering	int>.Dictionary
Résultat	System

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

InArcs public_oe property

public Dictionary> InArcs
Résultat	List>.Dictionary

OutArcs public_oe property

public Dictionary> OutArcs
Résultat	List>.Dictionary

PlaceCapacities public_oe property

public Dictionary PlaceCapacities
Résultat	int>.Dictionary

PlaceOutArcs public_oe property

public Dictionary> PlaceOutArcs
Résultat	List>.Dictionary

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