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…
Reenterable Model of Provider Backbone Bridge
…design of networks. Dmitry A. Zaitsev, Tatiana R. Shmeleva, and Anatoly I. Sleptsov, “Reenterable Colored Petri Net Models of Networks, Grids, and Clouds: Case Study for Provider Backbone Bridge,” Proceedings…
Reenterable Model of Rectangular Communication Grid with Cut-through Nodes
A reenterable model of communication grid with cut-through nodes is constructed. The cut-through transmission of packets works fast, because it uses only the head of packet, which contains the destination…
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…
Iteration over lists/arrays/etc in a function to calculate values during simulation
…the average has several issues: it uses integer division, so listAvg [1, 2] = 1 and it is prone to overflows, so listAvg [1000000000, 1000000000] will fail. The intSum function…
Does CPN Tools take advantage of multi-core processors?
No, CPN Tools uses two processes: one for the GUI and one for the simulator, which are both single-threaded. Using Access/CPN you might be able to distribute a simulation over…
Bug Reports
…in groups Show PlaceKinds Declined Error generating report: Exception: ExnDuringExecution State Space Tool handles random incorrectly “Save as” should allow you to enter a file name Exception: ExnDuringExecution on evalution…
Feature Requests
…Data-aware Declare simulation State-space analysis when using Declare Better warnings for functions with side effects Automatic replay of simulation logs Generic chart library for extensions Color Declare constraints according to…
