| Connector sizing |
| Integer | nIn | 0 | number of input transitions |
| Integer | nOut | 0 | number of output transitions |
| Marks |
| Real | startMarks | 0 | start marks |
| Real | minMarks | 0 | minimum capacity |
| Real | maxMarks | PNlib.Constants.inf | maximum capacity |
| Real | reStartMarks | 0 | number of marks at restart |
| Level Concentrations |
| Integer | N | settings.N | N+1=amount of levels |
| Enabling |
| PNlib.Types.EnablingType | enablingType | PNlib.Types.EnablingType.Priority | resolution type of actual conflict (type-1-conflict) |
| Integer[nIn] | enablingPrioIn | 1:nIn | enabling priorities of input transitions |
| Integer[nOut] | enablingPrioOut | 1:nOut | enabling priorities of output transitions |
| Real[nIn] | enablingProbIn | fill(1/nIn, nIn) | enabling probabilities of input transitions |
| Real[nOut] | enablingProbOut | fill(1/nOut, nOut) | enabling probabilities of output transitions |
| Token flow |
| Boolean | showTokenFlow | settings.showTokenFlow | |
| Random Number Generator |
| Integer | localSeedIn | PNlib.Functions.Random.counter() | Local seed to initialize random number generator for input conflicts |
| Integer | localSeedOut | PNlib.Functions.Random.counter() | Local seed to initialize random number generator for output conflicts |