Downloads

Downloads

CPN Tools is free software; see here for licensing information. It should be straight-forward to install CPN Tools; otherwise, read the help pages. Windows Linux/Mac OS X Access/CPN Grade/CPN Source…

Read Me

Downloads

Downloads

CPN Tools is free software; see here for licensing information. It should be straight-forward to install CPN Tools; otherwise, read the help pages. Downloads Windows Linux/Mac OS X Access/CPN Grade/CPN…

Read Me Leave comment

Problems when java is not found

Problems when java is not found

…had the same problem (CPNTools 4.0, Win7 64bit). Installation of 32bit Java solved the problem. April 21, 2014 Freddy commented Same here with CPNTools 4.0 and Win 8.1 x64. Maybe…

Read Me Leave comment

State Space Tool handles random incorrectly

State Space Tool handles random incorrectly

…make sure all variants are safe (for instance, we can’t really say whether deadlock is possible when some processes are evoked randomly according to the randomly generated ID number). Sincerely…

Read Me Leave comment

Modeling Business Processes

Modeling Business Processes

…the examples are used in the book and the slides. We assume that the reader has installed CPN Tools. Errata A list of all errors that we are aware of:…

Read Me Leave comment

Change logs

Change logs

…bug which caused instances of the first enabled transition instance to have slightly higher probability of being chosen and instances of the last slightly lower when using global binding element…

Read Me Leave comment

Source Code

Source Code

…directory run bin/buildml where is the minor version you wish to install, e.g., 73. The directory created before must be added to your path Test that SML/NJ installed correctly by…

Read Me Leave comment

Data types for monitored subnets

Data types for monitored subnets

…from the subnet. A subnet consists of: Zero or more place instances and Zero or more transition instances Three data types are defined for each monitor when a monitor is…

Read Me Leave comment

Monitor template code

Monitor template code

instance of the transition Transmit_Packet also on page Top, where the variables of the transitions are n, p, s and r. When either one of these two transition instances occurs,…

Read Me Leave comment

Data collector monitors

Data collector monitors

…create a marking size monitor, apply the create marking size monitor tool to a single place. If there is more than one instance of the place, the monitor will be…

Read Me Leave comment