~cpn-gui/tapaal/cpn-editor : changes

~cpn-gui/tapaal/cpn-editor » Changes from revision 1086

From Revision 1041 to 1022

Rev	Summary	Authors	Date
1041	WIP on creating petri net model for update synthesis. Config... 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	Mark Glavind	4 years ago
1040	fixed an issue with urgent transitions not looking at the ne... fixed an issue with urgent transitions not looking at the new time intervals in TACPN	Mark Glavind	4 years ago
1039	Merge from unitTest, testing complete Merge from unitTest, testing complete	Mark Glavind	4 years ago
1038	Merge from unfoldExport, we can now unfold an verify TACPN t... Merge from unfoldExport, we can now unfold an verify TACPN through the verification menu in TAPAAL	Mark Glavind	4 years ago
1037	merge from BP-TACPN, added a new tag to transportArcs in ord... merge from BP-TACPN, added a new tag to transportArcs in order to add the correct pairs together after unfolding	Mark Glavind	4 years ago
1036	Fixed the tikZ exporter such that it now also can export Fixed the tikZ exporter such that it now also can export SharedColoredPlaces	Niels Christensen	4 years ago
1035	merge from bugfixing 3 merge from bugfixing 3	Mark Glavind	5 years ago
1034	Merge from bug-fixing3 Merge from bug-fixing3	Niels Christensen	5 years ago
1033	Merge from bug-fixing Merge from bug-fixing	Niels Christensen	5 years ago
1032	Merge from bug-fixing3 Merge from bug-fixing3	Niels Christensen	5 years ago
1031	Merge from bug fixing Merge from bug fixing	Niels Christensen	5 years ago
1030	Merge from bug-fixing Merge from bug-fixing	Niels Christensen	5 years ago
1029	you can now add an inhibitor arc as a secondary arc between ... you can now add an inhibitor arc as a secondary arc between a transition and place that already has one	Mark Glavind	5 years ago
1028	Merge from bug-fixing3 Merge from bug-fixing3	Niels Christensen	5 years ago
1027	Merge from bug-fixing3 Merge from bug-fixing3	Niels Christensen	5 years ago
1026	Merge from sharedPlaces Merge from sharedPlaces	Niels Christensen	5 years ago
1025	Merge from shared places Merge from shared places	Niels Christensen	5 years ago
1024	Merge from sharedPlaces Merge from sharedPlaces	Niels Christensen	5 years ago
1023	merge from load PNML, feature completed merge from load PNML, feature completed	Mark Glavind	5 years ago
1022	Added double click to inteval and invariant Added double click to inteval and invariant	Niels Christensen	5 years ago