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 […]
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… from ProM 6 Plug-in Development; Part 4: Connections
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… from ProM 6 Plug-in Development; Part 3: Provided Objects, Wizards, and More on Objects
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… from ProM 6 Plug-in Development; Part 2: Loading/Saving, Configuration, and Feedback
ProM 6 is one of the if not the most prominent research tool for process mining. ProM has an extensible architecture which makes it easy to extend for third parties. Alas the documentation for doing so is years out of date. As I have a nagging suspicion I may have to supervise a lot of […]