August 9, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Implement real parametrized modules and in http://www.daimi.au.dk/CPnets/workshop99/papers/Mailund.pdf August 14, 2012 Michael Westergaard (Code and Support Guy,…
Problems when java is not found
…item *Get#withIdle#<withPE#> in ~beta/process/basicsocket — MLSocket#BasicSocket# in C:/cpn2000/document/ml/mlsocket comp <ReceiverThread#>System#SysHead# in C:/cpn2000/document/ml/private/mlcombody — MLCOMPRIVATE-~ in C:/cpn2000/document/ml/private/mlcombody comp ReceiverThread#<System#>SysHead# in ~beta/basiclib/basicsystemenv — PROGRAM-~CPNWorkSpace#Workspace#World#SystemEnv#SysHead# in C:/cpn2000/cpntools/cpntools comp ReceiverThread#System#<SysHead#> in ~beta/basiclib/basicsystemenv — BETAENV-~…
“Save as” should allow you to enter a file name
…Westergaard (Code and Support Guy, CPN Tools) commented Ok, will do. Michael Westergaard (Code and Support Guy, CPN Tools) responded Declined I cannot reproduce this – I get this dialog:…
Help – Simulation has to be executed in small steps
…2013 Michael Westergaard (Code and Support Guy, CPN Tools) responded Declined It’s probably because some transition raises an exception. Also, this is no a bug but a support request, so…
Monitors
…be used for different purposes, the way the information is extracted is often very similar. A monitor is a mechanism in CPN Tools that is used to observe, inspect, control,…
Breakpoint monitors
…a simulation when an arbitrary condition is fulfilled. A generic breakpoint monitor can examine any subnet of a CPN, for example, a single node, a group of nodes, or no…
Data collector monitors
…if an associated node is deleted, it is likely that there will be errors in the monitor. Related pages Monitors, Data collector monitoring functions, Calculating statistics, Data collector functions, Performance…
User-defined monitors
…Comms/CPN. User-defined monitors are extremely flexible, but they require that the user must write the appropriate monitoring functions. To create such a monitor, apply the Create user-defined monitor tool to…
Write-in-file monitoring functions
…= 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 “#tokens…
Support
…work and, in particular, to avoid unnecessary support requests, follow the subsequent procedure: Check our knowledge base whether your question has been answered. Search our help pages for an answer…
