C# Класс PetriNetCore.GraphPetriNet

Наследование: PetriNetBase

Показать файл Открыть проект Примеры использования класса

Открытые свойства

Свойство	Тип	Описание
InArcs	List>.Dictionary
OutArcs	List>.Dictionary
PlaceCapacities	int>.Dictionary
PlaceOutArcs	List>.Dictionary
Places	string>.Dictionary
TransitionFunctions	List>>.Dictionary
TransitionPriorities	int>.Dictionary
Transitions	string>.Dictionary

Открытые методы

Метод	Описание
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

Приватные методы

Метод	Описание
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

Описание методов

AddArcFromPlace() публичный Метод

public AddArcFromPlace ( int placeId, int transitionId ) : void
placeId	int
transitionId	int
Результат	void

AddArcFromTransition() публичный Метод

public AddArcFromTransition ( int placeId, int transitionId ) : void
placeId	int
transitionId	int
Результат	void

AddArcIntoTransition() публичный Метод

public AddArcIntoTransition ( int placeId, int transitionId ) : void
placeId	int
transitionId	int
Результат	void

AddLinearTransition() публичный Метод

public AddLinearTransition ( int placeIn, int placeOut, int transitionId ) : void
placeIn	int
placeOut	int
transitionId	int
Результат	void

AllEnabledTransitions() публичный Метод

public AllEnabledTransitions ( Marking m ) : IEnumerable
m	Marking
Результат	IEnumerable

AllPlaces() публичный Метод

public AllPlaces ( ) : IEnumerable
Результат	IEnumerable

CreateTransitions() публичный Метод

public CreateTransitions ( IEnumerable transitions ) : void
transitions	IEnumerable
Результат	void

Fire() публичный Метод

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.
Результат	Marking

GetConflictedPlaces() публичный Метод

public GetConflictedPlaces ( Marking m ) : IEnumerable
m	Marking
Результат	IEnumerable

GetNextTransitionToFire() публичный Метод

public GetNextTransitionToFire ( Marking m ) : int?
m	Marking
Результат	int?

GetPlaceOutArcs() публичный Метод

public GetPlaceOutArcs ( int placeId ) : IEnumerable
placeId	int
Результат	IEnumerable

GetTransitionPriority() публичный Метод

public GetTransitionPriority ( int t ) : int
t	int
Результат	int

GetWeight() публичный Метод

public GetWeight ( int placeid, int transid ) : int
placeid	int
transid	int
Результат	int

GraphPetriNet() публичный Метод

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
Результат	System

GraphPetriNet() публичный Метод

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
Результат	System

InhibitorsIntoTransition() публичный Метод

public InhibitorsIntoTransition ( int transitionId ) : IEnumerable
transitionId	int
Результат	IEnumerable

IsEmptyTransition() публичный Метод

public IsEmptyTransition ( int transitionId ) : bool
transitionId	int
Результат	bool

NonInhibitorsIntoTransition() публичный Метод

public NonInhibitorsIntoTransition ( int transitionId ) : IEnumerable
transitionId	int
Результат	IEnumerable

RegisterFunction() публичный Метод

public RegisterFunction ( int transitionId, Action fn ) : void
transitionId	int
fn	Action
Результат	void

Описание свойств

InArcs публичное свойство

public Dictionary> InArcs
Результат	List>.Dictionary

OutArcs публичное свойство

public Dictionary> OutArcs
Результат	List>.Dictionary

PlaceCapacities публичное свойство

public Dictionary PlaceCapacities
Результат	int>.Dictionary

PlaceOutArcs публичное свойство

public Dictionary> PlaceOutArcs
Результат	List>.Dictionary

Places публичное свойство

public Dictionary Places
Результат	string>.Dictionary

TransitionFunctions публичное свойство

public Dictionary>> TransitionFunctions
Результат	List>>.Dictionary

TransitionPriorities публичное свойство

public Dictionary TransitionPriorities
Результат	int>.Dictionary

Transitions публичное свойство

public Dictionary Transitions
Результат	string>.Dictionary