Created by Mark Glavind on 2018-09-21 and last modified on 2019-05-19
Get this branch:
bzr branch lp:~cpn-gui/tapaal/cpn-editor
Members of cpn-gui can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information


Recent revisions

1043. By Mark Glavind on 2019-05-19

WIP on making functions for creating alle elements, e.g places and transitions for the model

1042. By Mark Glavind on 2019-05-19

initial component is auto-generated. Pre and Post route is extracted from the file. We are now ready to create the components for each active switch

1041. By Mark Glavind on 2019-05-18

WIP on creating petri net model for update synthesis. Configuration is partially loaded, missing the ltl string. Started working on making the petri net, initial configuration component is done

1040. By Mark Glavind on 2019-05-16

fixed an issue with urgent transitions not looking at the new time intervals in TACPN

1039. By Mark Glavind on 2019-05-16

Merge from unitTest, testing complete

1038. By Mark Glavind on 2019-05-10

Merge from unfoldExport, we can now unfold an verify TACPN through the verification menu in TAPAAL

1037. By Mark Glavind on 2019-05-08

merge from BP-TACPN, added a new tag to transportArcs in order to add the correct pairs together after unfolding

1036. By Niels Christensen on 2019-05-07

Fixed the tikZ exporter such that it now also can export SharedColoredPlaces

1035. By Mark Glavind on 2019-04-26

merge from bugfixing 3

1034. By Niels Christensen on 2019-04-25

Merge from bug-fixing3

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
This branch contains Public information 
Everyone can see this information.