…Proceedings of the O.S. Popov ОNAT, No. 1, 2018, pp. 98-105 https://ojs.onat.edu.ua/index.php/sbornik_onat/article/view/1078 Shmeleva T.R. Reenterable Model of Communication Grid with Cut-through Nodes. Transactions of IEEE 4th International Scientific-Practical Conference «Problems…
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
The model consists of an 8×8 matrix of switching nodes that deliver packets to computing nodes which are attached to the matrix borders and produce and consume packets. Traffic guns…
Iteration over lists/arrays/etc in a function to calculate values during simulation
…ok, because the values are constant and defined on the declaration section, just to index them I received a “i” value during simulation, so I need to do a[i], that’s…
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
…comp PROGRAM-~CPNWorkSpace#Workspace#<World#>SystemEnv#SysHead# in ~beta/postwimp/foundation/world — BETAENV-~ in ~beta/basiclib/betaenv comp PROGRAM-~CPNWorkSpace#Workspace#World#<SystemEnv#>SysHead# in ~beta/basiclib/basicsystemenv — BETAENV-~ in ~beta/basiclib/betaenv comp PROGRAM-~CPNWorkSpace#Workspace#World#SystemEnv#<SysHead#> in ~beta/basiclib/basicsystemenv — BETAENV-~ in ~beta/basiclib/betaenv item <attNext#>realValue# in ~beta/basiclib/private/basicsystemenvbody — BASICSYSTEMENVPRIVATE-~…
Modeling Business Processes
…token with value x … p.157, Figure 5.24: arc (start, busy) must have inscription (x,y)@+d(x) Chapter 6 p.188, function maxstock, 1st line: fun maxstock([]:Stock) = | p.194, Figure 6.13: arc…
Binomial
…Example binomial (100, 1.0/6.0) Throw a die 100 times and observe how many times a six was thrown. This process has a binomial distribution with parameters n=100 and p=1/6. Related…
Erlang
Interface erlang(n:int, r:real) : real where n>=1 and r>0.0. Returns a drawing from an n-Erlang distribution with intensity r. A drawing from an n-Erlang distribution can be derived by addition…
