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

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

Read Me Leave comment

The User Interface of CPN Tools

The User Interface of CPN Tools

First steps Graphical User Interface Index Marking menus Other tools Palette tools…

Read Me Leave comment

Publications

Publications

…Press, Cambridge, 2010. There are also online references for Standard ML: Programming in Standard ML by Robert Harper The Standard ML Basis Library (excellent manual) Standard ML of New Jersey…

Read Me Leave comment

Temporal logic for state spaces

Temporal logic for state spaces

…net This net can be found in a subdir of cpntools called Samples\\DiningPhilosophers. Additional information Additional information about the facilities is available online: Technical report Slide presentation Related pages Verification…

Read Me Leave comment

Help entry in index

Help entry in index

…the subentries for Help to the work space will attempt to open online versions of web pages. An Internet connection is, therefore, required to view the web pages for Homepage,…

Read Me Leave comment

Queue system example

Queue system example

…see the online help pages for the TextIO structure and the Option structure in the SML Basis Library. The function getfid will return the file identifier that fileid refers to,…

Read Me Leave comment