The model is composed of packet switching nodes situated on a rectangular grid and generators of traffic attached to the grid borders. It is supplied with malefactor models in the…
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…
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
…item *Get#withIdle#<withPE#> in ~beta/process/basicsocket — MLSocket#BasicSocket# in C:/cpn2000/document/ml/mlsocket comp <ReceiverThread#>System#SysHead# in C:/cpn2000/document/ml/private/mlcombody — MLCOMPRIVATE-~ in C:/cpn2000/document/ml/private/mlcombody comp ReceiverThread#<System#>SysHead# in ~beta/basiclib/basicsystemenv — PROGRAM-~CPNWorkSpace#Workspace#World#SystemEnv#SysHead# in C:/cpn2000/cpntools/cpntools comp ReceiverThread#System#<SysHead#> in ~beta/basiclib/basicsystemenv — BETAENV-~…
“Save as” should allow you to enter a file name
November 5, 2012 Christian Gierds shared this idea I am using CPN Tools 3.4.0 (latest stable today) with Windows 7 (64 bit). I created a new net and chose “Save…
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:…
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…
Data types for monitored subnets
…associated with a monitor, they are ordered. They are sorted in ascending order by name, where the name is a string with this format <pagename>'<placename>_<instance number>_mark. No places, no transitions…
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…
