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
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
The model consists of an 8×8 matrix of switching nodes that deliver packets to computing nodes which are attached to the matrix borders and produce and consume packets. Traffic guns…
Iteration over lists/arrays/etc in a function to calculate values during simulation
…ok, because the values are constant and defined on the declaration section, just to index them I received a “i” value during simulation, so I need to do a[i], that’s…
Bug Reports
…delete of main element Delete constraints Show ConstraintInscriptions Load/save ConstraintArcs Grid position depends on lower-right corner Add constraints to syntax check Make it possible to draw ConstraintArcs Send new arc…
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…
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…
Clear background trigger for snapshot
…graphics in color an black/white, and with or without simulation graphics. Tip: it also works for groups to export partial nets: Print net Zearon Gong commented Thank you soooooooo much!…
