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

Internal error: Compile error during generating code

Internal error: Compile error during generating code

…minimal net that triggers the bug. I get the same outcome in versions 4.0.0 and 4.1.0, both under Windows 7 64b. Best regards, Stanislav Bohm April 15, 2014 Under review…

Read Me Leave comment

Magnetic lines not attracting nodes

Magnetic lines not attracting nodes

September 18, 2013 Michal Zarnay shared this idea Hello, Michael. In previous versions of CPN Tools, I liked this function: when I moved a magnetic line into a proximity of…

Read Me Leave comment

Port tag location not saved

Port tag location not saved

March 8, 2015 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea you put a port tag (In/Out) in the best location besides a place to make your…

Read Me Leave comment

Problem directory for monitors in 3.4.0

Problem directory for monitors in 3.4.0

…The path: d:\Betka\Vyska\5Z\PS\semka\semestralka6.cpn Checked platforms: Windows 7, Windows XP Best wishes, Alzbeta Janosikova and Michal Zarnay September 5, 2013 Michael Westergaard (Code and Support Guy, CPN Tools) responded Planned Reopened…

Read Me Leave comment

Publications

Publications

…Press, Cambridge, 2010. There are also online references for Standard ML: Programming in Standard ML by Robert Harper The Standard ML Basis Library (excellent manual) Standard ML of New Jersey…

Read Me Leave comment

Nondeterministic nets

Nondeterministic nets

…that there are only a limited number of possible outcomes, nor is there any way to ensure that the state space tool considers every possibility. The best that the state…

Read Me Leave comment

Saving a standard state space report

Saving a standard state space report

Best Integers Bounds Upper Lower Page’Eat 1 2 Page’Think 1 5 3 Page’Unused 1 5 1 Best Upper Multi-set Bounds Page’Eat 1 1`ph(1)++1`ph(2)++1`ph(3)++1`ph(4)++1`ph(5) Page’Think 1 1`ph(1)++1`ph(2)++1`ph(3)++1`ph(4)++1`ph(5) Page’Unused 1 1`cs(1)++1`cs(2)++1`cs(3)++1`cs(4)++1`cs(5) Best

Read Me Leave comment

Temporal logic for state spaces

Temporal logic for state spaces

…net This net can be found in a subdir of cpntools called Samples\\DiningPhilosophers. Additional information Additional information about the facilities is available online: Technical report Slide presentation Related pages Verification…

Read Me Leave comment

Help entry in index

Help entry in index

…the subentries for Help to the work space will attempt to open online versions of web pages. An Internet connection is, therefore, required to view the web pages for Homepage,…

Read Me Leave comment