CPN Tools 4: New Types

CPN Tools 4 adds a couple new types to make modeling easier.  The new types are intinf, real and time.  These types makes it easier to construct readable models as we no longer have to represent large numbers using strings, we can use real values without any rounding, and we can directly embed time stamps […]

Read More… from CPN Tools 4: New Types

Fast and Accurate Declare Mining

Presentation I’ll give in two weeks.  How to be significantly faster at mining Declare than any existing tool, and at the same time get much better models. Abstract Declarative models make it possible to describe changing systems or systems with a lot of freedom by imposing global constraints instead of explicitly defining the flow of […]

Read More… from Fast and Accurate Declare Mining