archive-org.com » ORG » C » CPNTOOLS.ORG

Total: 415

Choose link from "Titles, links and description words view":

Or switch to "Titles and links view".
  • Verification << CPN Tools Homepage
    To verify a CPN you can use the gui palettes state space tools start which are available as a gui palettes start Help topics for verification indexmenu 1 documentation manual pdf State space tool manual Example nets examples Resource Allocation sp examples Distributed Database sp examples Dining philosophers sp examples Simple Protocol sp Time consuming operations Some operations in the state space tool can be quite time consuming e g

    Original URL path: http://cpntools.org/documentation/tasks/verification/start?do=edit&rev= (2016-04-26)
    Open archived version from archive


  • Size and complexity of color sets << CPN Tools Homepage
    A color set is large if it contains too many default 100 elements to enumerate otherwise it is small Unit color set Boolean color set Index color sets and Enumeration color set are small Integer color sets are small if and only if they include the with specification and contain no more than 100 elements String color sets are small if and only if they include the with and specification

    Original URL path: http://cpntools.org/documentation/concepts/colors/declarations/colorsets/size_and_complexity_of_co (2016-04-26)
    Open archived version from archive

  • Data collector monitors << CPN Tools Homepage
    deleted All of the data collector monitoring functions for marking size monitors are hidden The size of the marking of the place will be measured once before the first step in the simulation The Nodes ordered by page index entry provides an overview of the nodes that are examined by the monitor Untimed nets If the CPN is untimed i e if none of the places has a timed color set then the marking size of the place will be measured after every simulation step In this case the monitor will not be associated with any transitions The monitor will calculate untimed statistics Timed nets If the net contains at least one timed place i e a place with a timed color set then the size of the marking of the place will be measured each time one of the surrounding transitions occurs In this case the monitor will be associated with the place in question as well as its surrounding transitions The surrounding transitions may include transitions on other pages if the place is a fusion place or a port or socket place The size of the marking of the place will also be measured when Simulation stop criteria are fulfilled The monitor will calculate timed statistics List length monitors List length monitors can be defined for places with List color sets only There must always be one and only one list on the place in question during a simulation A list length monitor will measure the length of the solitary list on the place If there is ever zero or more than one list on the place when the length of the list is measured then the no singelton exception will be raised To create a list length monitor apply the Create list length monitor tool to a place with a list color set After creating a list length monitor a monitor is added to the index A default name for the monitor is suggested but the name may be changed An error will occur if a list length monitor is added to a place that does not have a list color set A list length monitor will be deleted if the associated place is deleted All of the Data Collector Monitoring Functions for list length monitors are hidden The length of the list will be measured once before the first step in the simulation The Nodes ordered by page index entry provides an overview of the nodes that are examined by the monitor Untimed nets If the CPN is untimed i e if none of the places have Timed color sets then the length of the list on the place will be measured after every simulation step In this case the monitor will not be associated with any transitions The monitor will calculate untimed statistics Timed nets If the net contains at least one timed place i e a place with a timed color set then the length of the list on the place will be measured

    Original URL path: http://cpntools.org/documentation/tasks/performance/monitors/data_collector_monitors (2016-04-26)
    Open archived version from archive

  • Exponential << CPN Tools Homepage
    your book Show modify book 28 page s Help Exponential Function for generating values from exponential distributions Interface exponential r real real where r 0 0 Gives a drawing from a exponential distribution with intensity r Raises Exponential exception if r 0 0 Characteristics Mean 1 r Variance 1 r 2 Density functions for exponential distributions Example exponential 1 0 4 0 Customers arrive at a post office for service

    Original URL path: http://cpntools.org/documentation/tasks/performance/random/exponential (2016-04-26)
    Open archived version from archive

  • Arc inscriptions << CPN Tools Homepage
    expression if the color set of the attached place is a timed color set An output arc delay must be an expression of type integer and it must be appended to an output arc inscription using as a separator The syntax is exp arc delay An omitted output arc delay is equivalent to a delay of zero Arc delays can in exactly the same way as transition delays use values CPN variables functions and time They may also be dependent on token values Examples of output arc delay expressions can be found in the following example net Timed resource allocation example Preempting time stamps Input arc inscriptions may have a time value expression if the color set of the corresponding input place is one of the timed color sets A time expression on an input must be an integer and it must be appended to an input arc inscription using as a separator The syntax is exp int When an input arc inscription is of the form exp int then the transition can consume a token a specified amount of time before the time specified by its time stamp As an example the input arc expression exp 5 will allow the transition to consume token s from a place up to 5 time units before the time stamp carried by the token s In the example below transition t2 is enabled at time 3 even though all tokens on the input place have time stamps equal to 8 due to the time expression on its input arc In contrast transition t1 will not be enabled until time 8 Note that the time expression on an input arc must be an integer otherwise an error may occur during simulation Conditional arc inscriptions Conditional arc inscriptions may be used on input arcs

    Original URL path: http://cpntools.org/documentation/concepts/colors/inscriptions/arc_inscriptions (2016-04-26)
    Open archived version from archive

  • Transition inscriptions << CPN Tools Homepage
    inscription Time inscription Code segment inscription Transition inscriptions are created when you add edit inscriptions for transitions Transition name inscription The transition name inscription is an optional label that identifies the transition and it may contain any sequence of characters Note In order to enter the state space tool transition names must fulfill certain requirements Guard inscription Please see the help page for Guards Time inscription A transition delay must be a positive integer expression The expression is preceded by and this means that the time inscription has the form delay expr Before a time inscription has been added the default text for the inscription is Time delay is always added relative to the current time For example if current time is 10 and the time delay is 2 then the time stamp of tokens sent to the output places will be 12 A missing time inscription is equivalent to a zero delay The time delay expression can use all the CPN variables of the corresponding transition This means that the time delay may depend upon the token values for input and output tokens Moreover the expression may via calculated CPN variables depend upon reference variables and input files The

    Original URL path: http://cpntools.org/documentation/concepts/colors/inscriptions/transition_inscriptions (2016-04-26)
    Open archived version from archive

  • Breakpoint monitoring functions << CPN Tools Homepage
    hidden Generic breakpoint accessible hidden Generic breakpoint monitors Function types for the accessible functions pred subnet bool For more information about the subnet data type see Data types for monitored subnets Examples of monitoring functions All of the following examples are examples of monitoring functions for the Simple protocol example net Additional examples of breakpoint monitoring functions can be found in the example net for the Queue system example Example 1 The following predicate function is for a monitor that is associated with no places and no transitions The monitor will stop a simulation when the model time is greater than 200 fun pred IntInf toInt time 200 Example 2 The following predicate function is for a monitor that is associated with one place and two transitions The monitor will stop a simulation when either the Transmit Ack or the Transmit Packet transition on the page Top occurs The variables associated with the transitions and the marking of the place B are ignored in this function fun pred bindelem Top B 1 mark INTxDATA ms let fun predBindElem Top Transmit Packet 1 n p r s true predBindElem false in predBindElem bindelem end Example 3 The following predicate function is

    Original URL path: http://cpntools.org/documentation/tasks/performance/monitors/breakpoint_monitoring_fun (2016-04-26)
    Open archived version from archive

  • Breakpoint monitors << CPN Tools Homepage
    monitor will determine when the simulation should stop A place contents monitor will check the number of tokens on a place each time one of the surrounding transitions of the place occurs A place contents monitor will not check the number of tokens on a place before the first step in a simulation To create a Place contents monitor apply the Create place contents monitor tool to a place A place contents monitor will be deleted if the corresponding place is deleted Transition enabled monitors A transition enabled monitor checks whether a transition is enabled to determine if a simulation should be stopped The simulation can be stopped when the transition is either enabled or not enabled The option under the Type index entry for the monitor will determine when the simulation should be stopped A Transition enabled monitor will check whether the appropriate transition is enabled after every step in a simulation If at least one place in the net has a timed color set then the Transition enabled monitor will also check if the transition is enabled whenever the model time is increased A Transition enabled monitor will not check if the transition is enabled before the first step in a simulation To create a Transition enabled monitor apply the Create transition enabled monitor tool to a transition A transition enabled monitor will be deleted if the corresponding transition is deleted Generic breakpoint monitors A Generic breakpoint monitor can be used to stop a simulation when an arbitrary condition is fulfilled A generic breakpoint monitor can examine any subnet of a CPN for example a single node a group of nodes or no nodes To create a Generic breakpoint monitor apply the Create breakpoint monitor tool to the appropriate subnet The following example illustrates how to create a

    Original URL path: http://cpntools.org/documentation/tasks/performance/monitors/breakpoint_monitors (2016-04-26)
    Open archived version from archive



  •