TAPAAL

  1. Bug #2007299
  2. Comment #2

Comment 2 for bug 2007299

Revision history for this message
Jiri Srba (srba) wrote :

Example how color specific place invariants should be communicated to the engine:

https://github.com/TAPAAL/unfoldTACPN/blob/main/test/cpn_format/color_inv_map.xml