model | time | event | entity | action(s) |
| ResExample | 0.0 | TraceOn#1 | ---- | Trace switched on |
| 0.0 | DebugOn#1 | Debug switched on | ||
| 0.9546 | ---- | ShipGenerator#1 | activates 'Ship#1' now | |
| 0.9546 | holds for 0.0960 until 1.0507 | |||
| 0.9546 | Ship#1 | available berths: 8 | ||
| 0.9546 | seizes 1 from 'Berths' | |||
| 0.9546 | holds for 0.1294 until 1.0841 | |||
| 1.0507 | ShipGenerator#1 | activates 'Ship#2' now | ||
| 1.0507 | holds for 4.6329 until 5.6837 | |||
| 1.0507 | Ship#2 | available berths: 7 | ||
| 1.0507 | seizes 3 from 'Berths' | |||
| 1.0507 | holds for 3.7105 until 4.7613 | |||
| 1.0841 | Ship#1 | releases 1 to 'Berths' | ||
| 1.0841 | available berths: 5 | |||
| 1.0841 | Ship#1 terminates | |||
| 4.7613 | Ship#2 | releases 3 to 'Berths' | ||
| 4.7613 | available berths: 8 | |||
| 4.7613 | Ship#2 terminates | |||
| 5.6837 | ShipGenerator#1 | activates 'Ship#3' now | ||
| 5.6837 | holds for 3.3887 until 9.0724 | |||
| 5.6837 | Ship#3 | available berths: 8 | ||
| 5.6837 | seizes 2 from 'Berths' | |||
| 5.6837 | holds for 9.4247 until 15.1085 | |||
| 9.0724 | ShipGenerator#1 | activates 'Ship#4' now | ||
| 9.0724 | holds for 0.0729 until 9.1454 | |||
| 9.0724 | Ship#4 | available berths: 6 | ||
| 9.0724 | seizes 3 from 'Berths' | |||
| 9.0724 | holds for 17.6451 until 26.7176 | |||
| 9.1454 | ShipGenerator#1 | activates 'Ship#5' now | ||
| 9.1454 | holds for 2.0133 until 11.1587 | |||
| 9.1454 | Ship#5 | available berths: 3 | ||
| 9.1454 | seizes 1 from 'Berths' | |||
| 9.1454 | holds for 1.6571 until 10.8025 | |||
| 10.8025 | releases 1 to 'Berths' | |||
| 10.8025 | available berths: 3 | |||
| 10.8025 | Ship#5 terminates | |||
| 11.1587 | ShipGenerator#1 | activates 'Ship#6' now | ||
| 11.1587 | holds for 2.6269 until 13.7856 | |||
| 11.1587 | Ship#6 | available berths: 3 | ||
| 11.1587 | seizes 2 from 'Berths' | |||
| 11.1587 | holds for 1.0440 until 12.2027 | |||
| 12.2027 | releases 2 to 'Berths' | |||
| 12.2027 | available berths: 3 | |||
| 12.2027 | Ship#6 terminates | |||
| 13.7856 | ShipGenerator#1 | activates 'Ship#7' now | ||
| 13.7856 | holds for 1.9044 until 15.6901 | |||
| 13.7856 | Ship#7 | available berths: 3 | ||
| 13.7856 | seizes 3 from 'Berths' | |||
| 13.7856 | holds for 13.7121 until 27.4978 | |||
| 15.1085 | Ship#3 | releases 2 to 'Berths' | ||
| 15.1085 | available berths: 2 | |||
| 15.1085 | Ship#3 terminates | |||
| 15.6901 | ShipGenerator#1 | activates 'Ship#8' now | ||
| 15.6901 | holds for 0.2511 until 15.9412 | |||
| 15.6901 | Ship#8 | available berths: 2 | ||
| 15.6901 | seizes 2 from 'Berths' | |||
| 15.6901 | holds for 4.9917 until 20.6818 | |||
| 15.9412 | ShipGenerator#1 | activates 'Ship#9' now | ||
| 15.9412 | holds for 3.8806 until 19.8218 | |||
| 15.9412 | Ship#9 | available berths: 0 | ||
| 15.9412 | awaits 2 of ' Berths ' | |||
| 19.8218 | ShipGenerator#1 | activates 'Ship#10' now | ||
| 19.8218 | holds for 0.3696 until 20.1915 | |||
| 19.8218 | Ship#10 | available berths: 0 | ||
| 19.8218 | awaits 2 of ' Berths ' | |||
| 20.1915 | ShipGenerator#1 | activates 'Ship#11' now | ||
| 20.1915 | holds for 0.5649 until 20.7564 | |||
| 20.1915 | Ship#11 | available berths: 0 | ||
| 20.1915 | awaits 1 of ' Berths ' | |||
| 20.6818 | Ship#8 | releases 2 to 'Berths' | ||
| 20.6818 | available berths: 2 | |||
| 20.6818 | Ship#8 terminates | |||
| 20.6818 | Ship#9 | seizes 2 from 'Berths' | ||
| 20.6818 | holds for 14.8057 until 35.4875 | |||
| 20.7564 | ShipGenerator#1 | activates 'Ship#12' now | ||
| 20.7564 | holds for 1.1599 until 21.9164 | |||
| 20.7564 | Ship#12 | available berths: 0 | ||
| 20.7564 | awaits 2 of ' Berths ' | |||
| 21.9164 | ShipGenerator#1 | activates 'Ship#13' now | ||
| 21.9164 | holds for 0.8487 until 22.7651 | |||
| 21.9164 | Ship#13 | available berths: 0 | ||
| 21.9164 | awaits 2 of ' Berths ' | |||
| 22.7651 | ShipGenerator#1 | activates 'Ship#14' now | ||
| 22.7651 | holds for 5.0414 until 27.8066 | |||
| 22.7651 | Ship#14 | available berths: 0 | ||
| 22.7651 | awaits 3 of ' Berths ' | |||
| 26.7176 | Ship#4 | releases 3 to 'Berths' | ||
| 26.7176 | available berths: 3 | |||
| 26.7176 | Ship#4 terminates | |||
| 26.7176 | Ship#10 | seizes 2 from 'Berths' | ||
| 26.7176 | holds for 12.7522 until 39.4699 | |||
| 26.7176 | Ship#11 | seizes 1 from 'Berths' | ||
| 26.7176 | holds for 7.4348 until 34.1524 | |||
| 27.4978 | Ship#7 | releases 3 to 'Berths' | ||
| 27.4978 | available berths: 3 | |||
| 27.4978 | Ship#7 terminates | |||
| 27.4978 | Ship#12 | seizes 2 from 'Berths' | ||
| 27.4978 | holds for 0.6594 until 28.1573 | |||
| 27.8066 | ShipGenerator#1 | activates 'Ship#15' now | ||
| 27.8066 | holds for 3.8605 until 31.6672 | |||
| 27.8066 | Ship#15 | available berths: 1 | ||
| 27.8066 | awaits 1 of ' Berths ' | |||
| 28.1573 | Ship#12 | releases 2 to 'Berths' | ||
| 28.1573 | available berths: 3 | |||
| 28.1573 | Ship#12 terminates | |||
| 28.1573 | Ship#13 | seizes 2 from 'Berths' | ||
| 28.1573 | holds for 2.5443 until 30.7016 | |||
| 30.7016 | releases 2 to 'Berths' | |||
| 30.7016 | available berths: 3 | |||
| 30.7016 | Ship#13 terminates | |||
| 30.7016 | Ship#14 | seizes 3 from 'Berths' | ||
| 30.7016 | holds for 15.4496 until 46.1513 | |||
| 31.6672 | ShipGenerator#1 | activates 'Ship#16' now | ||
| 31.6672 | holds for 0.7825 until 32.4497 | |||
| 31.6672 | Ship#16 | available berths: 0 | ||
| 31.6672 | awaits 3 of ' Berths ' | |||
| 32.4497 | ShipGenerator#1 | activates 'Ship#17' now | ||
| 32.4497 | holds for 2.9937 until 35.4435 | |||
| 32.4497 | Ship#17 | available berths: 0 | ||
| 32.4497 | awaits 3 of ' Berths ' | |||
| 34.1524 | Ship#11 | releases 1 to 'Berths' | ||
| 34.1524 | available berths: 1 | |||
| 34.1524 | Ship#11 terminates | |||
| 34.1524 | Ship#15 | seizes 1 from 'Berths' | ||
| 34.1524 | holds for 4.5648 until 38.7173 | |||
| 35.4435 | ShipGenerator#1 | activates 'Ship#18' now | ||
| 35.4435 | holds for 11.4493 until 46.8929 | |||
| 35.4435 | Ship#18 | available berths: 0 | ||
| 35.4435 | awaits 3 of ' Berths ' | |||
| 35.4875 | Ship#9 | releases 2 to 'Berths' | ||
| 35.4875 | available berths: 2 | |||
| 35.4875 | Ship#9 terminates | |||
| 38.7173 | Ship#15 | releases 1 to 'Berths' | ||
| 38.7173 | available berths: 3 | |||
| 38.7173 | Ship#15 terminates | |||
| 38.7173 | Ship#16 | seizes 3 from 'Berths' | ||
| 38.7173 | holds for 31.2949 until 70.0123 | |||
| 39.4699 | Ship#10 | releases 2 to 'Berths' | ||
| 39.4699 | available berths: 2 | |||
| 39.4699 | Ship#10 terminates | |||
| 46.1513 | Ship#14 | releases 3 to 'Berths' | ||
| 46.1513 | available berths: 5 | |||
| 46.1513 | Ship#14 terminates | |||
| 46.1513 | Ship#17 | seizes 3 from 'Berths' | ||
| 46.1513 | holds for 17.5726 until 63.7240 | |||
| 46.8929 | ShipGenerator#1 | activates 'Ship#19' now | ||
| 46.8929 | holds for 4.0563 until 50.9492 | |||
| 46.8929 | Ship#19 | available berths: 2 | ||
| 46.8929 | awaits 3 of ' Berths ' | |||
| 50.0 | DebugOff#1 | ---- | Debug switched off | |
| 50.9492 | ---- | ShipGenerator#1 | activates 'Ship#20' now | |
| 50.9492 | holds for 8.9159 until 59.8651 | |||
| 50.9492 | Ship#20 | available berths: 2 | ||
| 50.9492 | awaits 3 of ' Berths ' | |||
| 59.8651 | ShipGenerator#1 | activates 'Ship#21' now | ||
| 59.8651 | holds for 4.1873 until 64.0525 | |||
| 59.8651 | Ship#21 | available berths: 2 | ||
| 59.8651 | awaits 3 of ' Berths ' | |||
| 63.7240 | Ship#17 | releases 3 to 'Berths' | ||
| 63.7240 | available berths: 5 | |||
| 63.7240 | Ship#17 terminates | |||
| 63.7240 | Ship#18 | seizes 3 from 'Berths' | ||
| 63.7240 | holds for 12.6575 until 76.3815 | |||
| 64.0525 | ShipGenerator#1 | activates 'Ship#22' now | ||
| 64.0525 | holds for 3.9073 until 67.9598 | |||
| 64.0525 | Ship#22 | available berths: 2 | ||
| 64.0525 | awaits 1 of ' Berths ' | |||
| 67.9598 | ShipGenerator#1 | activates 'Ship#23' now | ||
| 67.9598 | holds for 5.5370 until 73.4969 | |||
| 67.9598 | Ship#23 | available berths: 2 | ||
| 67.9598 | awaits 1 of ' Berths ' | |||
| 70.0123 | Ship#16 | releases 3 to 'Berths' | ||
| 70.0123 | available berths: 5 | |||
| 70.0123 | Ship#16 terminates | |||
| 70.0123 | Ship#19 | seizes 3 from 'Berths' | ||
| 70.0123 | holds for 23.1414 until 93.1538 | |||
| 73.4969 | ShipGenerator#1 | activates 'Ship#24' now | ||
| 73.4969 | holds for 0.1060 until 73.6029 | |||
| 73.4969 | Ship#24 | available berths: 2 | ||
| 73.4969 | awaits 3 of ' Berths ' | |||
| 73.6029 | ShipGenerator#1 | activates 'Ship#25' now | ||
| 73.6029 | holds for 4.8773 until 78.4802 | |||
| 73.6029 | Ship#25 | available berths: 2 | ||
| 73.6029 | awaits 2 of ' Berths ' | |||
| 76.3815 | Ship#18 | releases 3 to 'Berths' | ||
| 76.3815 | available berths: 5 | |||
| 76.3815 | Ship#18 terminates | |||
| 76.3815 | Ship#20 | seizes 3 from 'Berths' | ||
| 76.3815 | holds for 15.4489 until 91.8305 | |||
| 78.4802 | ShipGenerator#1 | activates 'Ship#26' now | ||
| 78.4802 | holds for 1.8174 until 80.2976 | |||
| 78.4802 | Ship#26 | available berths: 2 | ||
| 78.4802 | awaits 3 of ' Berths ' | |||
| 80.2976 | ShipGenerator#1 | activates 'Ship#27' now | ||
| 80.2976 | holds for 0.3248 until 80.6225 | |||
| 80.2976 | Ship#27 | available berths: 2 | ||
| 80.2976 | awaits 2 of ' Berths ' | |||
| 80.6225 | ShipGenerator#1 | activates 'Ship#28' now | ||
| 80.6225 | holds for 0.9860 until 81.6085 | |||
| 80.6225 | Ship#28 | available berths: 2 | ||
| 80.6225 | awaits 3 of ' Berths ' | |||
| 81.6085 | ShipGenerator#1 | activates 'Ship#29' now | ||
| 81.6085 | holds for 1.4446 until 83.0531 | |||
| 81.6085 | Ship#29 | available berths: 2 | ||
| 81.6085 | awaits 2 of ' Berths ' | |||
| 83.0531 | ShipGenerator#1 | activates 'Ship#30' now | ||
| 83.0531 | holds for 8.9728 until 92.0259 | |||
| 83.0531 | Ship#30 | available berths: 2 | ||
| 83.0531 | awaits 3 of ' Berths ' | |||
| 91.8305 | Ship#20 | releases 3 to 'Berths' | ||
| 91.8305 | available berths: 5 | |||
| 91.8305 | Ship#20 terminates | |||
| 91.8305 | Ship#21 | seizes 3 from 'Berths' | ||
| 91.8305 | holds for 4.9645 until 96.7951 | |||
| 91.8305 | Ship#22 | seizes 1 from 'Berths' | ||
| 91.8305 | holds for 13.1014 until 104.9320 | |||
| 91.8305 | Ship#23 | seizes 1 from 'Berths' | ||
| 91.8305 | holds for 7.5388 until 99.3694 | |||
| 92.0259 | ShipGenerator#1 | activates 'Ship#31' now | ||
| 92.0259 | holds for 3.5417 until 95.5677 | |||
| 92.0259 | Ship#31 | available berths: 0 | ||
| 92.0259 | awaits 3 of ' Berths ' | |||
| 93.1538 | Ship#19 | releases 3 to 'Berths' | ||
| 93.1538 | available berths: 3 | |||
| 93.1538 | Ship#19 terminates | |||
| 93.1538 | Ship#24 | seizes 3 from 'Berths' | ||
| 93.1538 | holds for 9.0336 until 102.1874 | |||
| 95.5677 | ShipGenerator#1 | activates 'Ship#32' now | ||
| 95.5677 | holds for 0.0035 until 95.5712 | |||
| 95.5677 | Ship#32 | available berths: 0 | ||
| 95.5677 | awaits 1 of ' Berths ' | |||
| 95.5712 | ShipGenerator#1 | activates 'Ship#33' now | ||
| 95.5712 | holds for 11.4010 until 106.9722 | |||
| 95.5712 | Ship#33 | available berths: 0 | ||
| 95.5712 | awaits 3 of ' Berths ' | |||
| 96.7951 | Ship#21 | releases 3 to 'Berths' | ||
| 96.7951 | available berths: 3 | |||
| 96.7951 | Ship#21 terminates | |||
| 96.7951 | Ship#25 | seizes 2 from 'Berths' | ||
| 96.7951 | holds for 11.9641 until 108.7592 | |||
| 99.3694 | Ship#23 | releases 1 to 'Berths' | ||
| 99.3694 | available berths: 2 | |||
| 99.3694 | Ship#23 terminates | |||
| 100.0 | TraceOff#1 | ---- | Trace switched off |
created using DESMO-J Version 1.6 at Mon Jan 24 08:40:45 CET 2005 - DESMO-J is licensed under the Apache License, Version 2.0.