This is a list of off-site tutorials on getting started with new features in CPN Tools 4. Declare constraints Place-Transition Petri Nets New Types (IntInf, real, time) Minor features Model…
CPN Tools
…liveness properties. New Features in Version 4.0 Declarative constraints 3rd part extensions Simplified use of non-colored nets Support for export to PNML Support for real and time colorsets Improved support…
Reenterable Model of Rectangular Communication Grid with Cut-through Nodes
…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)…
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…
Iteration over lists/arrays/etc in a function to calculate values during simulation
…function I can get a[i], being i: 1..3. So, I can do calculations like a[i]+b[i]; a[i]/b[i]; etc. I tried defining “colset”, “list” and also with “val”. Any of them is…
Does CPN Tools take advantage of multi-core processors?
No, CPN Tools uses two processes: one for the GUI and one for the simulator, which are both single-threaded. Using Access/CPN you might be able to distribute a simulation over…
Bug Reports
…Partial state-spaces have issues with new automatic progression Remove Constraints from graphics on undo/delete Feedback when drawing new arcs from a clone Clone ConstraintArcs Clone ConstraintInscription Remove new inscriptions on…
Feature Requests
…possible – feel free to add mock-ups, use cases, etc. Don’t just write “this or that doesn’t work” or “make it faster.” Also, this is not for bug reports. For…
When a simulation throws an error, show causing BE
January 23, 2013 Massimiliano de Leoni shared this idea NOTE by Michael: 1 is possible and not part of this feature. Possibility to copy and cut-and-paste pieces of CPN models….
