CPN Tools is free software; see here for licensing information. It should be straight-forward to install CPN Tools; otherwise, read the help pages. Windows Linux/Mac OS X Access/CPN Grade/CPN Source…
CPN Tools
A tool for editing, simulating, and analyzing Colored Petri nets The tool features incremental syntax checking and code generation, which take place while a net is being constructed. A fast…
CPN IDE
Downloads Latest downloads for CPN IDE At work Modeling and simulating an example workflow net…
Downloads
CPN Tools is free software; see here for licensing information. It should be straight-forward to install CPN Tools; otherwise, read the help pages. Downloads Windows Linux/Mac OS X Access/CPN Grade/CPN…
Reenterable Model of Provider Backbone Bridge
The model has the same structure for any given PBB network. It evaluates the maximal and average network response time on-fly. The network topology is inputted as a value of…
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)…
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…
Bug Reports
…of CTL-formula Help – Simulation has to be executed in small steps when i right click to create new net ,cpn tools goes to not responding state. Undecided InternalError: Compile…
Feature Requests
…possible – feel free to add mock-ups, use cases, etc. Don’t just write “this or that doesn’t work” or “make it faster.” Also, this is not for bug reports. For…
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…
