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".
  • Marking menus << CPN Tools Homepage
    and release the mouse button To make the menu go away without selecting anything move the cursor to the center of the menu or outside the pie so no entry is highlighted and release the mouse button For example you can close a binder by selecting the menu item to the left of the Binder menu Marking menus are designed to help you select entries very quickly One advantage of the circular menus is that the body learns directions better than distances This means that dragging the mouse in a certain direction to locate a menu entry in a circular marking menu is faster than moving a certain distance down a list to an entry in a traditional linear menu You may also select items without displaying the menu Click the right button and make a quick gesture a mark in the direction of the desired item You will see a trail of ink and if the gesture corresponds to a valid menu item the command will be executed and the name will appear For example the following shows the result of a mark to the top right on the page background to create a transition The transition appears with its center where the marking gesture started If the gesture is not recognized the text Unknown Mark will be displayed instead of the command name and nothing will happen If you stop in the middle of the gesture the marking menu will pop up and you can select the desired item as before Note that you use the same gesture in marking mode i e without seeing the menu as in pop up mode This means that you do not have to learn separate shortcuts to work more efficiently you simply speed up the gesture and when you do it

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


  • Tasks in CPN Tools << CPN Tools Homepage
    save Graphical layout Editing the net structure Exceptions Graphical feedback Long click Syntax checking Performance analysis Monitors Random distribution functions Calculating statistics Data collector functions Independent and identically distributed values Output management Output management functions Performance options functions Performance output Simulation Change marking during simulation Errors during simulation Limitations Manually choose bindings Run a Simulation Simulation feedback Simulation replications Simulation report Simulation stop criteria Simulator functions Verification Calculating the state

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

  • Editing a CPN << CPN Tools Homepage
    to your book Book creator Remove this page from your book Show modify book 3 page s Help Editing a CPN Create load and save Close a net Create a new net Load a net Save a net Graphical layout Edit style attributes Edit the layout Groups Magnetic guidelines Move and pan multiple views Resize pan and zoom Net structure Add edit declarations Add edit inscriptions Cloning Deep cloning Edit

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

  • Common constructs << CPN Tools Homepage
    Support Contact Publications 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 3 page s Help Common constructs Anti places limit places

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

  • Simulation << CPN Tools Homepage
    your book Book creator Remove this page from your book Show modify book 3 page s Help Simulation To run simulations you will need to be familiar with the Simulation tools Help topics on simulating CPNs Change marking during simulation

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

  • Verification << CPN Tools Homepage
    tools Help topics for verification Calculating the state space Attributes and options in state space tool Draw state spaces with CPN Tools Draw State Spaces with Graphviz Enter the state space tool Make state space queries Nondeterministic nets Saving a standard state space report State space functions Limitations Temporal logic for state spaces States and state space nodes State space tool manual Example nets Resource allocation example Distributed database example

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

  • Performance analysis << CPN Tools Homepage
    cases it is insufficient to model the average amount of time that a certain activity takes it is necessary to include a more precise representation of the timing of the system The Random distribution functions can be used to precisely model time delays Consider a system in which new items arrive in the system with exponentially distributed inter arrival times Below is an example of a function in which the Exponential function is used to create inter arrival times that are approximately exponentially distributed The inter arrival times are only approximately exponentially distributed because the real values that are returned by the Exponential function must be converted to integers since all time delays must be integer values Time delay inscriptions can be added as Arc inscriptions and Transition inscriptions fun expTime mean int let val realMean Real fromInt mean val rv exponential 1 0 realMean in floor rv 0 5 end This function can then be used when modeling the arrival of new items to a system A new item is created i e it arrives in the system when the transition Arrive occurs The time stamp for the token on place Next determines when the Arrive transition will be enabled and the expTime function is used to ensure that the inter arrival times of new items are approximately exponentially distributed Workload When analysing the performance of a system one is often interested in measuring the performance of system when it processes a particular kind of workload For example the workload for the Simple protocol example is data packets and when studying a bank the workload could be customers With CPNs it is possible to use both fixed workloads i e workloads that are predetermined at the start of a simulation and dynamic workloads In the example net for the Simple protocol example the workload is fixed and it is determined by the initial marking for the place Send It is also possible to generate workload on the fly during a simulation In the example below the workload is jobs The timed token on the place Next determines that a new job will be created periodically and the inter arrival times of jobs is exponentially distributed with a mean of 100 as described above Kinds of simulations Statistical techniques exist for using simulation models to analyze terminating and non terminating systems Terminating simulations Terminating systems are characterized by having a fixed starting condition and a naturally occurring event that marks the end of the system An example of a terminating system is a work day that starts at 8 am and ends at 4 pm at a bank For terminating systems the initial conditions of the system generally affect the desired measures of performance The purpose of simulating terminating systems is to understand their behavior during a certain period of time and this is also referred to as studying the transient behavior of the system Terminating simulations are used to simulate terminating systems The length of a terminating simulation is

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

  • Concepts << CPN Tools Homepage
    book Book creator Remove this page from your book Show modify book 3 page s Help Concepts Colored nets Declarations Inscriptions and expressions Multisets External Communication and Libraries Animations and vizualisation with BRITNeY Suite Connection management functions DTD for net files Comms CPN Connecting to Webservices from CPN Tools Hierarchy Bottom up development Fusion places Limitations Redo Undo Hierarchy tags Inscriptions in hierarchical nets Removing hierarchical constructs Substitution transitions Top

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



  •