Rectangular Grid with Cut-through Switching Nodes

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)…

Read Me

Rectangular grid under disguised traffic attack

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…

Read Me

Model statistics

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…

Read Me Leave comment

Parametrized Modules

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,…

Read Me Leave comment

Problems when java is not found

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

Read Me Leave comment

“Save as” should allow you to enter a file name

“Save as” should allow you to enter a file name

…Support Guy, CPN Tools) responded Under review I cannot reproduce this – I get this dialog: http://dl.dropbox.com/u/267240/Image%20Dump/Screen%20Shot%202012-11-07%20at%2011.59.37.png – maybe the arrow doohickey at the bottom gives you more options? Christian…

Read Me Leave comment

Modeling Business Processes

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…

Read Me Leave comment

Monitors

Monitors

…or to check that a particular property holds during the simulation. Functionality of a monitor All monitors share the following common functionality: Periodically examine some markings and/or occurring transitions Check…

Read Me Leave comment

Data types for monitored subnets

Data types for monitored subnets

…below. Some places, some transitions datatype BindElem = <pgname_1’transname_1> of int * {var_1_1: type_1_1, …, var_n_1: type_n_1} | … | <pgname_m’transname_m> of int * {var_m_1: type_m_1, …, var_m_j: type_m_j} type…

Read Me Leave comment

Errors in monitors

Errors in monitors

…will be rechecked, when its monitoring functions are changed. Errors in order in index Monitors are checked starting from the top. If a monitor depends on a later monitor, an…

Read Me Leave comment