~verifypn-cpn/verifypn/TACPNModel

Viewing all changes in revision 220.

  • Committer: Niels Christensen
  • Date: 2019-03-21 10:09:18 UTC
  • Revision ID: nchri13@student.aau.dk-20190321100918-yr1vyue73f0l3cqg
Made transport arc struct, expanded AbstractPetriNetBuilder with colored and timed places, input arcs and transport arcs. Expanded ColoredPetriNetBuilder with timed and colored places, input arcs and transport arcs.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: