CPN IDE

CPN IDE

Downloads Windows installer for CPN IDE 1.21 At work Modeling and simulating an example workflow net…

Read Me

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

…Chapter 3 p.79, definition of TR: in the last conjunct replace m'(p) = … with \forall p \in P: m'(p) = … Chapter 4 p.102, item 3 in Chapt. 4.3:…

Read Me Leave comment

Monitors

Monitors

for checking if the relevant condition is fulfilled observation function for extracting information from the net action function for doing something relevant with the extracted data initialization function for initializing…

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