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…
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
…for those go here. When submitting a bug report, make sure to include all of these. If you exclude any, we have to decline report! which version of CPN Tools…
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!…
Recognize and highlight PP CP-nets
November 23, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Recognize PP nets in an extension, provide a PP net view. Maybe code generation? September 5,…
Welcome wizard
…just one template in templates directory; clicking on anything (but Recent nets) performs the action, Recent nets are collapsible. New net just creates a new blank net (and closes wizard),…
