…form of traffic guns disguised under regular multimedia traffic. Switching nodes use cut-through transmission of packets that works fast, because it uses only the head of packet, which contains the…
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…
Model statistics
March 28, 2013 Headline Collect the number of places, transitions, arcs, colset,… March 30, 2013 Completed Michael Westergaard (Code and Support Guy, CPN Tools) commented https://www.facebook.com/photo.php?fbid=316315888494431&set=a.215729721886382.46963.214558602003494&type=1…
Parametrized Modules
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
…sometimes not. It seems to be a problem especially with the 64 bit installer, but everything works with all combinations of architectures as long as the variables are set correctly.…
“Save as” should allow you to enter a file name
November 5, 2012 Christian Gierds shared this idea I am using CPN Tools 3.4.0 (latest stable today) with Windows 7 (64 bit). I created a new net and chose “Save…
Change logs
…not necessarily comprehensive, but lists the major changes. The list may also reflect features in versions of CPN Tools that have not yet been publicly released, and as such reflects…
The User Interface of CPN Tools
First steps Graphical User Interface Index Marking menus Other tools Palette tools…
Publications
…Press, Cambridge, 2010. There are also online references for Standard ML: Programming in Standard ML by Robert Harper The Standard ML Basis Library (excellent manual) Standard ML of New Jersey…
Temporal logic for state spaces
…(e.g., the occurrence of certain transitions). Strongly connected components are used to make the model checking more efficient. Manual A manual describing how to use the temporal logic facilities is…
