~verifypn-cpn/verifypn/cfp_point-wise

  • Committer: tpede16 at aau
  • Date: 2021-01-12 11:08:35 UTC
  • Revision ID: tpede16@student.aau.dk-20210112110835-d1crm3j1zl4c8zun
Fix handling of vars not on in arcs and unfolding of initial tokens
Filename Latest Rev Last Changed Committer Comment Size
..
CTL 213.1.31 4 years ago Peter G. Jensen adding rebuild structure Diff
PetriEngine 213.1.31 4 years ago Peter G. Jensen adding rebuild structure Diff
PetriParse 213.1.31 4 years ago Peter G. Jensen adding rebuild structure Diff