lp:~cpn-gui/tapaal/savePNML

Created by Mark Glavind and last modified
Get this branch:
bzr branch lp:~cpn-gui/tapaal/savePNML
Members of cpn-gui can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
cpn-gui
Project:
TAPAAL
Status:
Merged

Recent revisions

1031. By Mark Glavind

small changes to TACPN save

1030. By Mark Glavind

Added default expression to transport arcs

1029. By Mark Glavind

fixed name and placement of invariants for places and moved declarations to bottom of tapn

1028. By Mark Glavind

added TACPN as a new type when saving a TACPN net

1027. By Mark Glavind

fixed an issue where you could no longer save TAPN

1026. By Mark Glavind

changed transport arc to only show time inervals on input arc

1025. By Mark Glavind

transport arcs can now be saved in pnml correctly, time constraints save format has been altered, time constraints now have two equals methods, full equals or only color equal

1024. By Mark Glavind

removed age invariant panel when net is CPN and resized panels to better fit on smaller screens

1023. By Mark Glavind

save and export now use the same code to write the syntactically equal parts to both save formats

1022. By Mark Glavind

added TACPN arcs to save format. can now save TACPN completly

Branch metadata

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

Subscribers