RFC: Conveniences in CPN Tools

CPN Tools offers a very rich environment in which most anything can be realized. Colored Petri nets have no need for inhibitor arcs, ordered or bounded places, reset arcs, etc. But sometimes it would be convenient if we didn’t have to go thru hoops to do something that is conceptually easy… […]

Read More… from RFC: Conveniences in CPN Tools

Software I Maintain

I maintain quite a bit of software.  A month ago or so, Wil asked me to give an overview of the software for some exciting ((Not exciting.)) mid-term evaluation report.  As such, I decided to make a simple architecture diagram, and even simplified it turned to not be so simple. Today, I was to give […]

Read More… from Software I Maintain

Cost-Effective Testing of Operational Support Algorithms Using CP-nets

Presentation I’m going to give at the Petri Nets conference Friday next week. Be there or be two right isosceles triangles glued together at the hypothenuse. (The slides are subject to minor changes; changes will be applied to the embedded version without further notice.) MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. […]

Read More… from Cost-Effective Testing of Operational Support Algorithms Using CP-nets

Grade/CPN: Semi-automatic Support for Teaching CP-nets

Presentation I’m going to give at PNSE early next week.  Be there or be an equilateral quadrangle. See more about Grade/CPN on the CPN Tools homepage. (The slides are subject to minor changes; changes will be applied to the embedded version without further notice.) MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. […]

Read More… from Grade/CPN: Semi-automatic Support for Teaching CP-nets

Grade/CPN Student Tester

I’ve already written a bit about Grade/CPN (previously named, a.o., “Oops!… I Did It Again” and “I Want It That Way”).  Here is a demo of one component of the tool, the Student Tester. http://youtu.be/dcAxtuoysTQ MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]

Read More… from Grade/CPN Student Tester