Improved Support for Low-level Nets in CPN Tools

I wanted to add some minor conveniences to CPN Tools.  Yesterday I got the bright idea that shy shouldn’t CPN Tools make it much easier to make low-level models.  It is already possible to emulate low-level nets, but it takes considerable work as CPN Tools needs a lot of inscriptions. I decided to just do […]

Read More… from Improved Support for Low-level Nets in CPN Tools

RFC: New Features in CPN Tools

I already wrote about conveniences that may or may not go into CPN Tools 3.6.  In this post I’ll look into some features that would be nice to add to CPN Tools 4.0 (or later).  I do not promise that any of these will become reality as they all require significant effort.  If you are […]

Read More… from RFC: New Features in CPN Tools

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