import k with modules

Create issue
Issue #42 new
Dan Bean created an issue

currently the value of k for all transitions in a module will default to 1, is this the behaviour we want?

(the marking IS imported)

Comments (0)

  1. Log in to comment