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".
  • Simulation replications << CPN Tools Homepage
    new simulation must be started manually It is frequently useful to be able to run several simulation replications For example when doing Performance analysis it is often necessary to run several simulations in order to collect statistically reliable data The function CPN Replications nreplications can be used to automatically run a given number of simulations Applying the Evaluate ML tool to the code shown below would run three simulations assuming that Simulation stop criteria are met in the three simulations If the above code is evaluated and no Simulation stop criteria are met in a particular simulation then the function call will never terminate In this case the only way to stop the simulation is to close CPN Tools Replication output When simulation replications are run a replication output directory is created and a replication status report will be generated The replication status report is named replication report txt and it contains information about the simulations that have been run The additional files and directories in the replication directory shown above are Performance output Below is an example of a replication report CPN Tools report for simulation replications Net C nets QueueSystem QueueSystem cpn Output directory C nets QueueSystem output

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


  • Simulation report << CPN Tools Homepage
    Simulation reports are saved by default as sim output dir simrep x txt where x is a number that is increased each time a simulation report is added to the directory If the simulation output directory cannot be found or created then an error will be reported Save report A simulation report will be created only if the Save Report option is checked Click the check box next to the Save Report entry if it is not already checked When the Save Report option is checked transition names are recorded in the simulation report For each simulation step a line is stored whose syntax is step time TransitionName Instance PageName An example of a simulation report can be found below Save bindings A more detailed simulation report will be saved if the Save Bindings entry is also checked In this case bindings of variables are also saved in the simulation report For each simulation step a line for each variable of the transition is stored The syntax of the line is variable value Example The following is an example of a simulation report for the Resource allocation example system which is one of the Example nets The simulation report contains among other things information about the first four steps of the simulation CPN Tools simulation report for C Program Files CPN Tools Samples ResourceAllocation ResourceAllocation cpn Report generated Fri Jan 27 10 12 48 2006 1 0 T2 1 Top 2 0 T1 1 Top 3 0 T3 1 Top i 0 x p 4 0 T4 1 Top i 0 x p The second line shows the path to the net file The third line shows the time at which the report was created The fifth line specifies that in Step 1 a transition named T2 occurred on instance

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

  • Simulation stop criteria << CPN Tools Homepage
    Breakpoint monitors is fulfilled When one of the simulation stop criteria have been met a green status bubble and a speech bubble will indicate why the simulation has stopped Breakpoint monitors are evaluated after simulation steps complete If a breakpoint monitor is fulfilled then a flag is set in the simulator to indicate that a stop criterion has been met The simulator will check to see if simulation stop criteria have been met at different points depending on which of the Simulation tools was used to start a simulation When the Fast forward tool is applied the simulator will check if stop criteria are fulfilled Before executing the first step immediately after applying the Fast Forward tool and After every step that is executed When the Bind manually Single step and Play tool are applied the simulator will check if stop criteria are fulfilled Before each step is executed When simulating timed CP nets the simulator also checks if stop criteria are fulfilled whenever model time is increased When the simulator discovers that a stop criterion has been fulfilled the current simulation will be stopped and the reason why the simulation has been stopped will be shown If a breakpoint

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

  • Simulator functions << CPN Tools Homepage
    n 1 Functions in timed simulations The type of model time is infinite integer IntInf int in SML Basis Library or reals depending on model options time Returns the current model time as an infinite integer in timed CPNs ModelTime toString t Converts model time value t to a string ModelTime fromString st Converts a string representation of an integer st to a time value i e an infinite integer

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

  • Anti places/limit places << CPN Tools Homepage
    An anti place is a place corresponding to the original place where for each arc to from the original place there is an arc from to the anti place moving the same number of uncolored tokens Example This is a very simple model of a sender and a receiver The sender sends packages onto a network and the receiver receives packages from the network Limit the capacity We would like to limit the place capacity of the network to two To this end we add an anti place with two tokens and obtain the following modified example Adding an anti place First add a new place of type E Give the new place the name Anti Network so it is obvious that it is the anti place of place Network Then give place Anti Network the initial marking 2 e because the place capacity should be limited to two Note that the type E does not have to added because it is one of the standard declarations Changes to incoming and outgoing arcs Keep the original arc and its inscription Add a new arc in the opposite direction but attach this arc to the anti place instead The inscription of

    Original URL path: http://cpntools.org/documentation/tasks/editing/constructs/anti-placeslimit_places (2016-04-26)
    Open archived version from archive

  • Inhibitor arcs << CPN Tools Homepage
    as as list PACKAGE I have created a couple variables ps and rest of the new type PACKAGEs I have added a new function pick which given a list returns a random element from the list and the rest of the list if such an element exists Otherwise it returns NONE This function can be used for all types so if you need to create an inhibitor arc using lists you can just copy this function Changes to the involved place I change the type of the place from PACKAGE to PACKAGEs I add change an initial marking which is now a list of tokens in this case the original initial marking was the empty marking and I add in stead the empty list Had the original initial marking been e g 1 1 2 4 I would have changed it to 1 4 4 Incoming arcs Incoming arcs are treated just like I would for a stack I change the inscription from p to p ps where p if of the type PACKAGE and ps is of the type PACKAGEs I add a new arc in the opposite direction with the inscription ps Outgoing arcs Outgoing arcs are a bit more complicated than for queues or stacks because I have to pick a random element I change the inscription of the original from p to ps i e in stead of picking one arbitrary element I take the whole lot I add a new arc which simply puts rest back to the place This variable is of the type PACKAGEs that is it is the same Now we have two problems the p I used originally is no longer bound from the place and the newly introduced rest is not bound either I choose to bind both in the guard of the transition I add the arc inscription SOME p rest pick ps For the transition to fire this must evaluate to true First the pick function must return SOME something and not NONE so if ps is the empty list this cannot be satisfied which is the correct behavior Second I bind p to the first component the pick function returns that is a random element from ps and I bind rest to the rest of the elements Inhibitor arc Finally I have to put a reasonable inscription in the inhibitor arc I put the inscription on the inhibitor arc I change the inhibitor arc to a double arc Now the transition connected to the inhibitor arc can only fire if there is an empty list on the involved place which is exactly the desired behavior of an inhibitor arc Using Anti places The list based inhibitor arc solution is quire complex and in some cases not needed If the number of tokens on the involved place is bounded one can add inhibitor arcs easier by adding an anti place and letting the inhibitor arc be a double arc which removes and adds all tokens from the anti

    Original URL path: http://cpntools.org/documentation/tasks/editing/constructs/inhibitor_arcs (2016-04-26)
    Open archived version from archive

  • Queues and stacks << CPN Tools Homepage
    to have a FIFO first in first out or queue behavior This is like the behavior of TCP streams We change the type of the place from T to list T and make all ingoing arcs append to the list and all outgoing arcs should then remove the head from the list The only difference from stacks is that instead of prepending to the list we append to it When I do this to the example I obtain Changes to declarations I have added a new type PACKAGEs of type list PACKAGE I have added a new variable of the new type PACKAGEs Changes to the network place I change the type from PACKAGE to PACKAGEs I add change the initial marking to be a list In this case the original initial marking was the empty marking and I add the empty list If the original marking had been e g 1 1 2 4 I could have changed it to e g 1 4 1 the ordering DOES matter now Changes to outgoing arcs I change the inscription of the arc from p to p ps where ps i the new variable of the new type PACKAGEs I add a new arc in the opposite direction with the inscription ps Changes to incoming arcs I change the inscription of the arc from p to ps p where ps i the new variable of the new type PACKAGEs I add a new arc in the opposite direction with the inscription ps Priority queues We want the network to have a priority queue behavior i e the priority of a packet determines the order in which it is handled This is similar to IP quality of service options which allow datagrams to be identified and possibly handled with eight levels of

    Original URL path: http://cpntools.org/documentation/tasks/editing/constructs/queuesstacks (2016-04-26)
    Open archived version from archive

  • Create, load, and save << CPN Tools Homepage
    Loading Home Download Getting Started Documentation Support Contact Book creator Add this page to your book Book creator Remove this page from your book Show modify book 6 page s Help Create load and save Close a net Create a

    Original URL path: http://cpntools.org/documentation/tasks/editing/create/start (2016-04-26)
    Open archived version from archive



  •