September 10, 2013

Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea

Must generate automaton like Declare

Planned

ConstraintInscriptions in groups
DCR should not filter out Declare

You must be logged in to post a comment.