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

…destination address, for the forwarding decision. A series of simulations reveal the fact that the grid is blocked in the same way as the grid with store-and-forward nodes. Screenshot of…

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

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

Read Me Leave comment

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

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

…dive into folders (not even back), and especially there was no field for entering a file name (please see attached screen shot).   November 7, 2012 Michael Westergaard (Code and…

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

…L.M. Kristensen, and L. Wells. Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems. International Journal on Software Tools for Technology Transfer (STTT)9(3-4), pp. 213-254, 2007….

Read Me Leave comment

Temporal logic for state spaces

Temporal logic for state spaces

These facilities make it possible to analyze state spaces by means of a CTL-like temporal logic. It is possible to formulate queries about states, but also queries about state changes…

Read Me Leave comment