…Declare constraints work with groups 3.9.5 Make Declare constraints honored during fast forward Improved Declare performance after fast forward 3.9.4 Fix PNML export for arc weights and reset/inhibitor arcs Handle…
Exponential
…1/r Variance: 1/r^2 Density functions for exponential distributions: Density functions for exponential distributions Example exponential(1.0/4.0) Customers arrive at a post office for service. The time between two arrivals has a…
Monitors
…code Breakpoint monitors Breakpoint monitoring functions Data collector monitors Data Collector Monitoring Functions User-defined monitors User-defined monitoring functions Write-in-file monitors Write-in-file monitoring functions Monitor index entries Known limitations of monitors…
Create a monitor
…you are unsure about how to work with palettes. To create a monitor, select the desired kind of monitor, e.g. a write-in-file monitor, and apply the tool to the subnet…
Monitoring functions
…and some monitors will only have a subset of these functions. For example, a write-in-file monitor has all of these functions. However, a breakpoint monitor does not have an observation…
Monitor template code
…for a user, then the function can also be modified by the user. A user is never required to write a monitoring function from scratch, because it is always possible…
User-defined monitors
…Comms/CPN. User-defined monitors are extremely flexible, but they require that the user must write the appropriate monitoring functions. To create such a monitor, apply the Create user-defined monitor tool to…
Write-in-file monitors
Write-in-file monitors are used to update files during simulations. To create a write-in-file monitor, apply the Create write-in file monitor tool to the appropriate subnet. After the tool has been…
Write-in-file monitoring functions
…Initialization Predicate Observation Action Stop Generic write-in-file accessible accessible accessible hidden accessible Generic Write-in-file monitors Function types for the accessible functions init : markings -> string initialization function pred :…
Support
…or “quick” answers. We answer all requests as fast as we can, though sometimes it may take time. We will postpone such requests and repeat offenders will get ignored. …
