C# 클래스 PetriNetCore.GraphPetriNet

상속: PetriNetBase
파일 보기 프로젝트 열기: aabs/PetriNets 1 사용 예제들

공개 프로퍼티들

프로퍼티 타입 설명
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