lp:~tapaal-contributor/tapaal/example-net-menus

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:tapaal at revision 1161

Jiri Srba: Approve on 2021-11-20

Diff: 7136 lines (+3976/-2780)

25 files modified

src/dk/aau/cs/gui/TabContent.java (+10/-6)
src/dk/aau/cs/io/ModelLoader.java (+21/-1)
src/dk/aau/cs/io/TapnXmlLoader.java (+15/-0)
src/pipe/gui/GuiFrame.java (+149/-29)
src/pipe/gui/action/GuiAction.java (+1/-0)
src/resources/Example nets/ERK.tapn (+190/-0)
src/resources/Example nets/alternating-bit-protocol-components.tapn (+231/-230)
src/resources/Example nets/alternating-bit-protocol-transport.tapn (+208/-207)
src/resources/Example nets/alternating-bit-protocol.tapn (+206/-205)
src/resources/Example nets/fischer-protocol.tapn (+296/-295)
src/resources/Example nets/game-harddisk.tapn (+154/-154)
src/resources/Example nets/home-construction.tapn (+343/-0)
src/resources/Example nets/intro-example.tapn (+71/-70)
src/resources/Example nets/package-delivery.tapn (+69/-0)
src/resources/Example nets/producer-consumer.tapn (+79/-78)
src/resources/Example nets/shortest-path.tapn (+184/-183)
src/resources/Example nets/train-level-crossing.tapn (+115/-114)
src/resources/Example nets/two-phase-locking.tapn (+211/-0)
src/resources/Example nets/untimedGame.tapn (+209/-0)
src/resources/Example nets/webserver.tapn (+91/-90)
src/resources/Example nets/workflow-advanced.tapn (+337/-336)
src/resources/Example nets/workflow-complaint.tapn (+152/-151)
src/resources/Example nets/workflow-medical.tapn (+269/-268)
src/resources/Example nets/workflow-payment.tapn (+142/-141)
src/resources/Example nets/workflow-simple.tapn (+223/-222)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

1149. By Jiri Srba on 2021-11-20

merged with trunk

1148. By Jiri Srba <email address hidden> on 2021-10-21

updated example nets

1147. By Lena Ernstsen on 2021-10-21

Merged trunk

1146. By Lena Ernstsen on 2021-10-21

Added some examples

1145. By Lena Ernstsen on 2021-08-18

Clean up

1144. By Lena Ernstsen on 2021-08-18

Clean up

1143. By Lena Ernstsen on 2021-08-18

Added the files for the two example nets

1142. By Lena Ernstsen on 2021-08-17

Added two game nets and fixed nullpointer exception

1141. By Lena Ernstsen on 2021-08-17

Removed debug stuff

1140. By Lena Ernstsen on 2021-08-17

Modifier is changed if we run out of letters/numbers for the shortcut