Rectangular Grid with Cut-through Switching Nodes

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

Read Me

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

Parametrized Modules

Parametrized Modules

August 9, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Implement real parametrized modules and in http://www.daimi.au.dk/CPnets/workshop99/papers/Mailund.pdf August 14, 2012 Michael Westergaard (Code and Support Guy,…

Read Me Leave comment

Problems when java is not found

Problems when java is not found

…item *Get#withIdle#<withPE#> in ~beta/process/basicsocket — MLSocket#BasicSocket# in C:/cpn2000/document/ml/mlsocket comp <ReceiverThread#>System#SysHead# in C:/cpn2000/document/ml/private/mlcombody — MLCOMPRIVATE-~ in C:/cpn2000/document/ml/private/mlcombody comp ReceiverThread#<System#>SysHead# in ~beta/basiclib/basicsystemenv — PROGRAM-~CPNWorkSpace#Workspace#World#SystemEnv#SysHead# in C:/cpn2000/cpntools/cpntools comp ReceiverThread#System#<SysHead#> in ~beta/basiclib/basicsystemenv — BETAENV-~…

Read Me Leave comment

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

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

…Westergaard (Code and Support Guy, CPN Tools) commented Ok, will do. Michael Westergaard (Code and Support Guy, CPN Tools) responded Declined I cannot reproduce this – I get this dialog:…

Read Me Leave comment

Modeling Business Processes

Modeling Business Processes

informal introduction Colored Petri nets Hierarchical Petri nets Analysis of process models: Introduction, state space analysis, and simulation in CPN Tools Coverability graph Fairness, invariants, and traps Subclasses, reduction rules,…

Read Me Leave comment

Monitors

Monitors

…simulation. Here the initialization function is shown in the index. Monitoring function in index The predicate function, shown in a binder below, determines when the file should be updated during…

Read Me Leave comment

Data types for monitored subnets

Data types for monitored subnets

…associated with a monitor, they are ordered. They are sorted in ascending order by name, where the name is a string with this format <pagename>'<placename>_<instance number>_mark. No places, no transitions

Read Me Leave comment

Errors in monitors

Errors in monitors

…Changing names of places, transitions, pages, functions, variables, constants, and color sets Adding or removing variables to arcs Changing whether a color set is a timed color set A monitor…

Read Me Leave comment

Monitoring functions

Monitoring functions

…of monitors in the index determines, in part, the order in which the monitoring functions of monitors are called both before, during and after simulations. In the following, assume that…

Read Me Leave comment