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

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…

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

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

Read Me Leave comment

When a simulation throws an error, show causing BE

When a simulation throws an error, show causing BE

…Currently, only single transitions can be cloned Making the debug easier. When a simulation throws an error, it would make the life much easier to know the firing of which…

Read Me Leave comment

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

integrate real scroll bars into CPN Tools GUI

integrate real scroll bars into CPN Tools GUI

September 5, 2012 Anonymous shared this idea September 5, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) commented Just a notice: While this seems like a trivial feature, it…

Read Me Leave comment