…Scientific-Practical Conference «Problems of Infocommunications. Science and Technology» (PIC S&T), October 10 – 13, 2017, Kharkiv, Ukraine, pp. 223 – 227. DOI:10.1109/INFOCOMMST.2017.8246384 https://ieeexplore.ieee.org/document/8246384 The zipped folder containing the model (8x8grid_cut-through_reenterable.cpn)…
Rectangular Grid with Cut-through Switching Nodes
…Screenshot of the model Shmeleva T.R. Security of Grid Structures with Cut-through Switching Nodes. System Informatics, No. 10, 2017, p. 23-32. http://www.system-informatics.ru/en/article/135, https://doi.org/10.31144/si.2307-6410.2017.n10.p23-32 The zipped folder containing the model (grid8x8_cut-through.cpn)…
Iteration over lists/arrays/etc in a function to calculate values during simulation
…i-1. You may also want to take a look at the Standard ML list structure. It contains generic list functions, and in particular the two fold functions. http://sml-family.org/Basis/list.html#SIG:LIST.foldl:VAL The fold…
Feature Requests
…Data-aware Declare simulation State-space analysis when using Declare Better warnings for functions with side effects Automatic replay of simulation logs Generic chart library for extensions Color Declare constraints according to…
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…
Better warnings for functions with side effects
May 08, 2013 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Check if any functions with side effects are in guards, etc. and report as error –…
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
…net or create a new net. “WARNING: Coluld not open/create prefs root nood Software\JavaSoft\Prefs at root 0x80000002. Windows RegCreatekeyEx(…) returned error code 5. #Beta execution aborted: Access violation. #Error during…
Monitor template code
…the monitor will be replaced by the template code. The effects of applying the Generate template code tool can be reversed by applying the Undo. Here is the result of…
Breakpoint monitoring functions
…200. fun pred () = IntInf.toInt(time()) > 200 Example 2 The following predicate function is for a monitor that is associated with one place and two transitions. The monitor will…
