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…
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…
…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…
…i-1. You may also want to take a look at the Standard ML list structure. It contains generic list functions, and in particular the two fold functions. http://sml-family.org/Basis/list.html#SIG:LIST.foldl:VAL The fold…
…the simulator Generic drawing library for simulator extensions Time condensed state-spaces Support for PNML direct time simulation tools Support for inhibitor arcs Cascade state space commands Started Test environment for…
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…
…and finishing a process, and Support drawing Message Sequence Charts from simulations is also somehow process related. It would be nice to have a coherent, intuitive and generic notion of…
November 23, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Common charts, e.g., Gantt, bar, line, xy. Useful for things like Draw Gantt charts from simulator…
…approach? Can be used in many cases, e.g., Support drawing Message Sequence Charts from simulations March 13, 2013 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Completed…
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,…
…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-~…