Color set functions

Color set functions

…record i:INT * s:STRING; P.set_1 (5, “abc”) 3 evaluates to (3, “abc”) R.set_s {s=”abc”, i=5} “def” evaluates to {i=5, s=”def”} P.mult(1`2++1`3, 1`”abc”++1`”def”) evaluates to 1`(2,”abc”)++1`(2,”def”)++1`(3,”abc”)++1`(3,”def”) The mult function is used…

Read Me Leave comment

Can I run CPN Tools on my Mac/Linux?

Can I run CPN Tools on my Mac/Linux?

…Fusion (www.vmware.com). You may also have luck with Sun Virtualbox (www.virtualbox.org), though we do not test that! The programs emulate a virtual machine, and you are thus running the Windows…

Read Me Leave comment

Nondeterministic nets

Nondeterministic nets

…be chosen from a relatively short interval using the discrete function, then there are only few integers to choose from. It is not, however, obvious to the state space tool…

Read Me Leave comment

Modeling Business Processes

Modeling Business Processes

…(door, cool_down) must be b) p.227, Figure 7.22: arc (stocking_point, repl_delivery) must be replaced by arc (repl_delivery, stocking_point) p.230, Figure 7.23: arc (replenishment-b, repl_delivery) must be replaced by arc (repl_delivery,…

Read Me Leave comment

Write-in-file monitoring functions

Write-in-file monitoring functions

…ms) = let fun obsBindElem (Top’Transmit_Ack (1, {n,r,s})) = “Transmit Ack occurred, n=”^INT.mkstr(n)^”\n” | obsBindElem (Top’Transmit_Packet (1, {n,p,r,s})) = “Transmit Packet occurred, (n,p)=(“^ INT.mkstr(n)^”,”^DATA.mkstr(p)^”)\n” | obsBindElem _ = “” in…

Read Me Leave comment

Functions, declarations, and control structures

Functions, declarations, and control structures

…expn; where exp1, exp2, …, expn all have the same type. Declaration Examples The _ (underscore) can be used to omit fields in the pattern. As an example look at…

Read Me Leave comment

Example nets

Example nets

…analysis examples Dining philosophers example Distributed database example Resource allocation example Simple protocol example Monitoring examples Monitored dining philosophers example Queue system configuration example Queue system example Real-life examples If…

Read Me Leave comment

Arc inscriptions

Arc inscriptions

…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. Arc inscription time delay…

Read Me Leave comment

Breakpoint monitoring functions

Breakpoint monitoring functions

…following examples are examples of monitoring functions for the Simple protocol net. Additional examples of breakpoint monitoring functions can be found in the example net for the Queue system example….

Read Me Leave comment

Saving a standard state space report

Saving a standard state space report

After you have calculated a state space, and optionally the SCC graph, it is possible to save a standard state space report with the calculations. To save a report, apply…

Read Me Leave comment