See Wiki for (partial) documentation and manuals: https://se3.informatik.uni-wuerzburg.de/descartes/dni/wikis/home
Git access to wiki do: git clone https://se3.informatik.uni-wuerzburg.de/descartes/dni.wiki.git
Added a critical section to the Processing subnets of the Switching QPlace as an implementation of the required maximum function of the two arguments
See Wiki for (partial) documentation and manuals: https://se3.informatik.uni-wuerzburg.de/descartes/dni/wikis/home
Git access to wiki do: git clone https://se3.informatik.uni-wuerzburg.de/descartes/dni.wiki.git