modelPD

Discrete Place

Parameters

TypeNameDefaultDescription
Connector sizing
IntegernIn0number of input transitions
IntegernOut0number of output transitions
Tokens
IntegerstartTokens0start tokens
IntegerminTokens0minimum capacity
IntegermaxTokensPNlib.Constants.Integer_infmaximum capacity
IntegerreStartTokensstartTokensnumber of tokens at restart
Enabling
PNlib.Types.EnablingTypeenablingTypePNlib.Types.EnablingType.Priorityresolution type of actual conflict (type-1-conflict)
Integer[nIn]enablingPrioIn1:nInenabling priorities of input transitions
Integer[nOut]enablingPrioOut1:nOutenabling priorities of output transitions
Real[nIn]enablingProbInfill(1/nIn, nIn)enabling probabilities of input transitions
Real[nOut]enablingProbOutfill(1/nOut, nOut)enabling probabilities of output transitions
Real[nIn]enablingBeneIn1:nInenabling benefit of input transitions
Real[nOut]enablingBeneOut1:nOutenabling benefit of output transitions
PNlib.Types.BenefitTypebenefitTypePNlib.Types.BenefitType.Greedyenabling strategy for benefit
Level Concentrations
IntegerNsettings.NN+1=amount of levels
Token flow
BooleanshowTokenFlowsettings.showTokenFlow
Random Number Generator
IntegerlocalSeedInPNlib.Functions.Random.counter()Local seed to initialize random number generator for input conflicts
IntegerlocalSeedOutPNlib.Functions.Random.counter()Local seed to initialize random number generator for output conflicts

Connectors

TypeNameDefaultDescription
PNlib.Interfaces.PlaceIn[nIn]inTransitionconnector for input transitions
PNlib.Interfaces.PlaceOut[nOut]outTransitionconnector for output transitions
Modelica.Blocks.Interfaces.IntegerOutputpd_ttconnector for Simulink connection

Components

TypeNameDefaultDescription
Integertmarking
BooleanreStartfalserestart condition
ReallevelConconversion of tokens to level concentration according to M and N of the settings box
BooleanshowCapacitysettings.showCapacityonly for place animation and display (Do not change!)
BooleananimateMarkingsettings.animateMarkingonly for place animation and display (Do not change!)
Real[3]coloronly for place animation and display (Do not change!)
Blocks.tokenFlowDistokenFlow