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

Feature Requests

Feature Requests

…causing BE More fine-grained enabling dependency analysis Duration of syntax check integrate real scroll bars into CPN Tools GUI Detect runtime errors during sim and ss analysis and report errors…

Read Me Leave comment

Comparing 2 state spaces and search for the different states

Comparing 2 state spaces and search for the different states

August 24, 2012 Somsak Vanit-Anunchai shared this idea When I changed a model parameter (slightly change), I found that the new state space was different (slightly). I wish to know…

Read Me Leave comment

Support for Real color sets

Support for Real color sets

August 9, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea August 14, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) responded Under review May or…

Read Me Leave comment

Support for Time color sets

Support for Time color sets

August 9, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Depends in part on support for real color sets August 14, 2012 Michael Westergaard (Code and

Read Me Leave comment

Support for inhibitor arcs

Support for inhibitor arcs

August 9, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea September 3, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) responded Started Uncolored (at least)…

Read Me Leave comment

Usage statistics

Usage statistics

September 20, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Record and send usage statistics to server; same as in Word/Eclipse: what tools are used, what…

Read Me Leave comment

Problems when java is not found

Problems when java is not found

…in ~beta/postwimp/foundation/guisurface — GUISurface#Surface# in ~beta/postwimp/foundation/guisurface item run#<run#> in ~beta/postwimp/foundation/abstractsurface — GUISurface#Surface# in ~beta/postwimp/foundation/guisurface item <platformAfter#> in ~beta/postwimp/foundation/private/worldbody — PROGRAM-~CPNWorkSpace#Workspace#World#SystemEnv#SysHead# in C:/cpn2000/cpntools/cpntools item <after#> in ~beta/postwimp/foundation/world — PROGRAM-~CPNWorkSpace#Workspace#World#SystemEnv#SysHead# in C:/cpn2000/cpntools/cpntools

Read Me Leave comment

“Save as” should allow you to enter a file name

“Save as” should allow you to enter a file name

November 5, 2012 Christian Gierds shared this idea I am using CPN Tools 3.4.0 (latest stable today) with Windows 7 (64 bit). I created a new net and chose “Save…

Read Me Leave comment

Modeling Business Processes

Modeling Business Processes

…by means of colored Petri nets. Wil van der Aalst’s group at Eindhoven University of Technology is world-leading in the field—both when it comes to the theoretical foundation, and in…

Read Me Leave comment