Merge UCPN tagging
In this MR, we introduce unit tagging into the colored-petri-net unfolding. Should be rather unintrusive, I reviewed the code changes since @fefrei's last commit and looks sane to me. Tell me what I am missing.
In this MR, we introduce unit tagging into the colored-petri-net unfolding. Should be rather unintrusive, I reviewed the code changes since @fefrei's last commit and looks sane to me. Tell me what I am missing.