Monitoring functions

Monitoring functions

…fulfilled observation function for extracting information from the net action function for doing something relevant with the extracted data initialization function for initializing a monitor before a simulation starts stop…

Read Me Leave comment

Can I run CPN Tools on my Mac/Linux?

Can I run CPN Tools on my Mac/Linux?

With the advent of Intel-powered Macs, virtualization solutions exist for running Windows in a virtual machine under Mac OS X 10.4 and newer on Intel Macs. CPN Tools can be…

Read Me Leave comment

Time attributes in tokens

Time attributes in tokens

…an integer: fun intTime() = IntInf.toInt (time()); The time function returns an infinite integer, as described on the help page for simulator functions, and the IntInf.toInt function is a function…

Read Me Leave comment

Timed Nets

Timed Nets

…not, the sequence of states that an executing model passes through has no temporal interpretation: it is just a sequence of states. Representing time in a CPN In order to…

Read Me Leave comment

“Save as” should allow you to enter a file name

“Save as” should allow you to enter a file name

…Support Guy, CPN Tools) responded Under review I cannot reproduce this – I get this dialog: http://dl.dropbox.com/u/267240/Image%20Dump/Screen%20Shot%202012-11-07%20at%2011.59.37.png – maybe the arrow doohickey at the bottom gives you more options? Christian…

Read Me Leave comment

Can’t simulate model/Model stays orange

Can’t simulate model/Model stays orange

installation location (e.g., c:\Program Files\Java\jre8) and your PATH includes the bin directory under JAVA_HOME (in the example, it would have to include c:\Program Files\Java\jre8\bin). Sometimes the installer sets this up…

Read Me Leave comment

The User Interface of CPN Tools

The User Interface of CPN Tools

First steps Graphical User Interface Index Marking menus Other tools Palette tools…

Read Me Leave comment

Simulation

Simulation

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…

Read Me Leave comment

Editing

Editing

Editing a CPN Common constructs Anti places/limit places Inhibitor arcs Queues and stacks Create, load, and save Close a net Create a new net Load a net Save a net…

Read Me Leave comment

Problems when java is not found

Problems when java is not found

in C:/cpn2000/cpnet/private/cpnetmlbody item <onError#>onError#LocalException# in C:/cpn2000/document/ml/mlcommands — *MLPingExtension#CPNMLCommand#MLCommand# in C:/cpn2000/cpnet/private/cpnetmlbody item onError#<onError#>LocalException# in C:/cpn2000/document/ml/mlcommands — *MLPingExtension#CPNMLCommand#MLCommand# in C:/cpn2000/cpnet/private/cpnetmlbody item onError#onError#<LocalException#> in C:/cpn2000/document/ml/mlcom — *MLPingExtension#CPNMLCommand#MLCommand# in C:/cpn2000/cpnet/private/cpnetmlbody item Receive#<Receive#> in C:/cpn2000/document/ml/mlcom

Read Me Leave comment