90 lines
3.2 KiB
Plaintext
90 lines
3.2 KiB
Plaintext
format 223
|
|
|
|
pseudostatecanvas 128084 pseudostate_ref 128084 // initial
|
|
xyz 81 92 2000
|
|
end
|
|
statecanvas 128212 state_ref 128212 // Produkt Wybrany
|
|
|
|
xyzwh 31 201 2000 115 33
|
|
end
|
|
statecanvas 128340 state_ref 128340 // Produkt Oplacony
|
|
|
|
xyzwh 372 451 2000 117 33
|
|
end
|
|
statecanvas 128468 state_ref 128468 // Karta Wczytana
|
|
|
|
xyzwh 568 207 2000 137 33
|
|
end
|
|
pseudostatecanvas 128596 pseudostate_ref 128212 // final Produkt Wydany
|
|
xyz 417 609 2000
|
|
end
|
|
pseudostatecanvas 128980 pseudostate_ref 128340 // final Zakup Anulowany
|
|
xyz 247 688 2000
|
|
end
|
|
statecanvas 129876 state_ref 128596 // Oczekiwanie na Zaplate
|
|
|
|
xyzwh 248 203 2000 149 33
|
|
end
|
|
note 134356 "wrzuconaKwota < cenaProduktu "
|
|
xyzwh 266 26 2006 123 49
|
|
note 134484 "srodkiNaKoncie < cenaProduktu"
|
|
xyzwh 644 498 2000 119 47
|
|
note 134612 "wrzuconaKwota >= cenaProduktu"
|
|
xyzwh 270 365 2000 103 65
|
|
transitioncanvas 128724 transition_ref 128084 // wydajProdukt
|
|
|
|
from ref 128340 z 2001 label "wydajProdukt" xyz 443 539 3000 to ref 128596
|
|
write_horizontally default show_definition default drawing_language default
|
|
end
|
|
transitioncanvas 128852 transition_ref 128212 // pobierzSrodki
|
|
|
|
from ref 128468 z 2001 label "pobierzSrodki" xyz 458 331 3000 to ref 128340
|
|
write_horizontally default show_definition default drawing_language default
|
|
end
|
|
transitioncanvas 129108 transition_ref 128340 // odrzucTransakcje
|
|
|
|
from ref 128468 z 2001 label "odrzucTransakcje" max_width 14 xyz 644 476 3000 to point 634 640
|
|
line 134228 z 2001 to point 636 700
|
|
line 129236 z 2001 to ref 128980
|
|
write_horizontally default show_definition default drawing_language default
|
|
end
|
|
transitioncanvas 129748 transition_ref 128468 // wybierzProdukt
|
|
|
|
from ref 128084 z 2001 label "wybierzProdukt" xyz 10 145 3000 to ref 128212
|
|
write_horizontally default show_definition default drawing_language default
|
|
end
|
|
transitioncanvas 130644 transition_ref 128724 // oplacProdukt
|
|
|
|
from ref 128212 z 2001 label "oplacProdukt" xyz 159 199 3000 to ref 129876
|
|
write_horizontally default show_definition default drawing_language default
|
|
end
|
|
transitioncanvas 132052 transition_ref 129108 // wrzucGotowke
|
|
decenter_begin 906
|
|
decenter_end 134
|
|
|
|
from ref 129876 z 2001 label "wrzucGotowke" max_width 14 xyz 288 77 3000 to point 379 94
|
|
line 132180 z 2001 to point 263 93
|
|
line 132308 z 2001 to ref 129876
|
|
write_horizontally default show_definition default drawing_language default
|
|
end
|
|
transitioncanvas 132564 transition_ref 129236 // przylozKarteDoTerminala
|
|
|
|
from ref 129876 z 2001 label "przylozKarteDoTerminala" xyz 424 199 3000 to ref 128468
|
|
write_horizontally default show_definition default drawing_language default
|
|
end
|
|
transitioncanvas 132692 transition_ref 129364 // wrzucGotowke
|
|
decenter_begin 865
|
|
decenter_end 75
|
|
|
|
from ref 129876 z 2001 label "wrzucGotowke" max_width 14 xyz 278.5 351 3000 to point 378 443
|
|
line 134740 z 2001 to ref 128340
|
|
write_horizontally default show_definition default drawing_language default
|
|
end
|
|
transitioncanvas 132820 transition_ref 129492 // anulujZakup
|
|
decenter_begin 79
|
|
|
|
from ref 129876 z 2001 label "anulujZakup" xyz 185 449 3000 to ref 128980
|
|
write_horizontally default show_definition default drawing_language default
|
|
end
|
|
end
|