CPN Tools 4: Declare Constraints

CPN Tools 4 merges the colored Petri net language with the Declare language. Declare was previously supported in its own tool, also named Declare. Everything herein can be done with CPN Tools pre-releases starting from 3.9.2; get your copy here. In colored Petri nets, the control flow is either dependent on data or on explicit […]

Read More…

ProM 6 Plug-in Development; Part 4: Connections

In part 1 of this tutorial, we wen over the basics of ProM plug-in development and in parts 2 and 3 we extended our plug-in to better interact with ProM and the user.  In this installment, we’ll look at how to make your plug-in work better with other plug-ins by providing extra information that may […]

Read More…

ProM 6 Plug-in Development; Part 3: Provided Objects, Wizards, and More on Objects

In Part 1 of this tutorial we went over the basics, and in Part 2 we made our plug-in integrate better with ProM by making it possible to load and save objects, by providing a user-interface for configuration, and by providing progress and logging information when executing a plug-in.  In this part, we look at […]

Read More…

ProM 6 Plug-in Development; Part 2: Loading/Saving, Configuration, and Feedback

In Part 1 of my tutorial on ProM plug-in development, we went over the basics: objects, plug-ins, and visualizers.  In this part, we look into loading and saving objects, how to let users specify configuration, and how to make our plug-ins provide more information during execution.  In the remainder of this post, I assume you […]

Read More…