CPN Tools

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…

Read Me

CPN IDE

CPN IDE

Downloads Latest downloads for CPN IDE At work Modeling and simulating an example workflow net

Read Me

Reenterable Model of Provider Backbone Bridge

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…

Read Me

Reenterable Model of Rectangular Communication Grid with Cut-through Nodes

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…

Read Me

Rectangular Grid with Cut-through Switching Nodes

Rectangular Grid with Cut-through Switching Nodes

…form of traffic guns disguised under regular multimedia traffic. Switching nodes use cut-through transmission of packets that works fast, because it uses only the head of packet, which contains the…

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

Iteration over lists/arrays/etc in a function to calculate values during simulation

Iteration over lists/arrays/etc in a function to calculate values during simulation

…functions implement the same paradigm you may know as Googles MapReduce (actually MapReduce was inspired by the fold functions). That allows you to implement a list sum and average functions…

Read Me

Bug Reports

Bug Reports

…prioritize what to focus on. We also take the amount of time to implement each feature into account, so a popular bug which is very time consuming may be ignored

Read Me Leave comment

Feature Requests

Feature Requests

…extensions Recognize and highlight PP CP-nets DCR constraints Planned Output directory unique for each model Process perspective Under review Support for multi-set variables When a simulation throws an error, show

Read Me Leave comment

Support for multi-set variables

Support for multi-set variables

August 9, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Variables that can consume an entire multi-set (like in Design/CPN). Basically list variables that can be…

Read Me Leave comment