…Erlang Error in declarations Errors during simulation Errors in monitors Errors in net structure Ethernet Network Ethernet Network Parametric Models Example declarations Example nets Exceptions Exponential Functions, declarations, and control…
Output management
…on the help page for output management functions. Top output directory The top output directory for a given net is determined by the Output directory option for the net. Output…
Temporal logic for state spaces
…net This net can be found in a subdir of cpntools called Samples\\DiningPhilosophers. Additional information Additional information about the facilities is available online: Technical report Slide presentation Related pages Verification…
Publications
…Standard ML Syntax of Standard ML comp.lang.ML FAQ Yahoo (link collection) Petri nets The Peti nets world provides much material around theory and application of Petri nets and related topics….
Monitors
…or modify a simulation of a CP-net. Many different monitors can be defined for a given net. Monitors can inspect both the markings of places and the occurring binding elements…
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…
Is there a user manual for CPN Tools?
There are help pages in the form of web pages. There is an online version of the help pages. The help pages are currently not available as a single document….
Rectangular grid under disguised traffic attack
…R. Shmeleva, W. Retschitzegger, B. Pröll Security of grid structures under disguised traffic attacks, Cluster Computing, 19(3) 2016, 1183–1200. Online 17 June 2016. DOI:10.1007/s10586-016-0582-9 The zipped folder containing the model…
Performance analysis
…for the object will probably have to be included in the information associated with the object. Network reliability, where packet loss can be represented as A particular transition occurring A…
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…
