If you know Betteridge’s Law of Headlines, you immediately know the answer is “no.” The answer, much like kids, is not really the interesting part however; what is interesting is the process of getting there. Go, like chess and most other games, has been conceptually solved for many years. So many that I as a […]
Read More… from Is Google’s Go-bot a Breakthrough for Artificial Intelligence?
Here I demonstrate simple editing of Declare in CPN Tools 4; we notice that enabling is updated as I simulate and alter the constraints. For a full description of the facility, refer to https://westergaard.eu/2013/08/cpn-tools-4-declare-constraints/ MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Here I show how to use and develop high-level visualization primitives with CPN Tools 4. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Time intervals and time-equivalence reduction in CPN Tools 4. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
In this video, I show examples of the new simulator extensions in CPN Tools 4. The Hello World example comprises 182 lines of (mostly GUI) code and showcases how an extension can get notifications when changes are made to a model. The Declare example comprises 240 lines of code shows how we can alter the […]
This is why we do formal verification and applications to free coffee (or tea). MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]