Class RegularPlaceTransitionArc

Hierarchy (view full)

PlaceTransitionArc
- RegularPlaceTransitionArc

Index

Constructors

Properties

Accessors

breakpoints destination id multiplicity reference source type

Methods

assertCanFire canFire clone cloneAttributes compare consume

Constructors

constructor

new RegularPlaceTransitionArc(source, target, id): RegularPlaceTransitionArc
Parameters
- source: Place
- target: Transition
- id: string
Returns RegularPlaceTransitionArc
Inherited from PlaceTransitionArc.constructor
- Defined in model/arc/arc.ts:13

Properties

`Static`arcTypeMapping

arcTypeMapping: Map<ArcType, XmlArcType> = ...

Accessors

breakpoints

get breakpoints(): Breakpoint[]
Returns Breakpoint[]
Inherited from PlaceTransitionArc.breakpoints
- Defined in model/arc/arc.ts:63
set breakpoints(value): void
Parameters
- value: Breakpoint[]
Returns void
Inherited from PlaceTransitionArc.breakpoints
- Defined in model/arc/arc.ts:67

destination

get destination(): D
Returns D
Inherited from PlaceTransitionArc.destination
- Defined in model/arc/arc.ts:39
set destination(value): void
Parameters
- value: D
Returns void
Inherited from PlaceTransitionArc.destination
- Defined in model/arc/arc.ts:43

id

get id(): string
Returns string
Inherited from PlaceTransitionArc.id
- Defined in model/petrinet/element.ts:8
set id(value): void
Parameters
- value: string
Returns void
Inherited from PlaceTransitionArc.id
- Defined in model/petrinet/element.ts:12

multiplicity

get multiplicity(): number
Returns number
Inherited from PlaceTransitionArc.multiplicity
- Defined in model/arc/arc.ts:47
set multiplicity(value): void
Parameters
- value: number
Returns void
Inherited from PlaceTransitionArc.multiplicity
- Defined in model/arc/arc.ts:51

reference

get reference(): undefined | string
Returns undefined | string
Inherited from PlaceTransitionArc.reference
- Defined in model/arc/arc.ts:55
set reference(value): void
Parameters
- value: undefined | string
Returns void
Inherited from PlaceTransitionArc.reference
- Defined in model/arc/arc.ts:59

source

get source(): S
Returns S
Inherited from PlaceTransitionArc.source
- Defined in model/arc/arc.ts:31
set source(value): void
Parameters
- value: S
Returns void
Inherited from PlaceTransitionArc.source
- Defined in model/arc/arc.ts:35

type

get type(): ArcType
Returns ArcType
Overrides PlaceTransitionArc.type
- Defined in model/arc/regular-place-transition-arc.ts:26

Methods

assertCanFire

assertCanFire(): void
Returns void
Inherited from PlaceTransitionArc.assertCanFire
- Defined in model/arc/place-transition-arc.ts:11

canFire

canFire(): boolean
Regular arc enables transition to fire if the input place contains at least as many tokens as the multiplicity of arc.

Returns boolean
true if place marking >= multiplicity, false otherwise
Overrides PlaceTransitionArc.canFire
- Defined in model/arc/regular-place-transition-arc.ts:22

clone

clone(): RegularPlaceTransitionArc
Returns RegularPlaceTransitionArc
Overrides PlaceTransitionArc.clone
- Defined in model/arc/regular-place-transition-arc.ts:30

cloneAttributes

cloneAttributes(cloned): void
Parameters
- cloned: Arc<Place, Transition>
Returns void
Inherited from PlaceTransitionArc.cloneAttributes
- Defined in model/arc/arc.ts:71

compare

compare(other): number
Parameters
- other: Element
Returns number
Inherited from PlaceTransitionArc.compare
- Defined in model/petrinet/element.ts:16

consume

consume(): number
Regular arc consumes number of tokens equal to its multiplicity.

Returns number
number of consumed tokens = multiplicity of arc

Throws
Error if firing precondition is not fulfilled.
Overrides PlaceTransitionArc.consume
- Defined in model/arc/regular-place-transition-arc.ts:11