699:
1962:
1437:
2084:
1532:
1079:
984:
819:
910:
132:
432:
328:
2024:
1472:
1019:
759:
368:
483:
270:
1596:
1243:
1123:
1877:
1841:
1364:
1328:
872:
530:
221:
181:
84:
1785:
1272:
1704:
1677:
1650:
1623:
1197:
1150:
602:
575:
1988:
1756:
1730:
936:
535:
Since the behavior of a given atomic DEVS model can be defined in two different views depending on the total state and the external transition function (refer to
1805:
1563:
1292:
1170:
839:
723:
17:
547:
Regardless of two different views of total states, algorithms for initialization and internal transition cases are commonly defined as below.
31:
model, simulation algorithms are methods to generate the model's legal behaviors which are trajectories not to reach to illegal states. (see
36:
607:
1882:
2104:
2145:
2126:
1369:
2028:
1476:
1023:
941:
763:
877:
141:
92:
383:
279:
1993:
1441:
988:
728:
335:
441:
228:
1568:
1202:
1095:
1846:
1810:
1333:
1297:
2099:
1542:
1089:
844:
490:
44:
1764:
1251:
1682:
1655:
1628:
1601:
1175:
1128:
580:
553:
8:
2164:
1967:
1735:
1709:
915:
1790:
1548:
1277:
1155:
824:
708:
2141:
2122:
536:
32:
539:), the simulation algorithms are also introduced in two different views as below.
2158:
1536:
2135:
38:
originally introduced the algorithms that handle time variables related to
2094:
702:
28:
694:{\displaystyle A=(X,Y,S,ta,\delta _{ext},\delta _{int},\lambda )}
550:
DEVS-simulator variables: parent // parent coordinator
1083:
1957:{\displaystyle (s,b)\leftarrow \delta _{ext}(s,t-t_{l},x)}
1537:
View 2: total states = states * lifespans * elapsed times
2136:
Bernard
Zeigler; Tag Gon Kim; Herbert Praehofer (2000).
1879:== false then error: bad synchronization;
1366:== false then error: bad synchronization;
1432:{\displaystyle s\leftarrow \delta _{ext}(s,t-t_{l},x)}
2031:
1996:
1970:
1885:
1849:
1813:
1793:
1767:
1738:
1712:
1685:
1658:
1631:
1604:
1571:
1551:
1479:
1444:
1372:
1336:
1300:
1280:
1254:
1205:
1178:
1158:
1131:
1098:
1026:
991:
944:
918:
880:
847:
827:
766:
731:
711:
610:
583:
556:
493:
444:
386:
338:
282:
231:
184:
144:
95:
47:
2119:
Multifacetted
Modeling and Discrete Event Simulation
1092:, when DEVS receives an input event, right calling
2078:
2018:
1982:
1956:
1871:
1835:
1799:
1779:
1750:
1724:
1698:
1671:
1644:
1617:
1590:
1557:
1526:
1466:
1431:
1358:
1322:
1286:
1266:
1237:
1191:
1164:
1144:
1117:
1073:
1013:
978:
930:
904:
866:
833:
813:
753:
717:
693:
596:
569:
524:
477:
426:
362:
322:
264:
215:
175:
126:
78:
2156:
2116:
874:then error: bad synchronization;
2140:(second ed.). Academic Press, New York.
1084:View 1: total states = states * elapsed times
2079:{\displaystyle t_{n}\leftarrow t_{l}+ta(s);}
1527:{\displaystyle t_{n}\leftarrow t_{l}+ta(s);}
1074:{\displaystyle t_{n}\leftarrow t_{l}+ta(s);}
979:{\displaystyle s\leftarrow \delta _{int}(s)}
814:{\displaystyle t_{n}\leftarrow t_{l}+ta(s);}
445:
387:
283:
232:
134:by introducing two other time variables,
905:{\displaystyle y\leftarrow \lambda (s);}
705:model when receive init-message(Time
14:
2157:
2105:Simulation algorithms for coupled DEVS
18:Simulation Algorithms for Atomic DEVS
176:{\displaystyle t_{l}\in [0,\infty )}
127:{\displaystyle t_{e}\in [0,\infty )}
2121:. Academic Press, London; Orlando.
427:{\displaystyle \,t_{r}=t_{s}-t_{e}}
323:{\displaystyle \,t_{s}=t_{n}-t_{l}}
24:
2019:{\displaystyle t_{l}\leftarrow t;}
1467:{\displaystyle t_{l}\leftarrow t;}
1014:{\displaystyle t_{l}\leftarrow t;}
754:{\displaystyle t_{l}\leftarrow t;}
516:
354:
207:
167:
118:
70:
25:
2176:
2138:Theory of Modeling and Simulation
363:{\displaystyle t\in [0,\infty )}
821:when receive star-message(Time
542:
478:{\displaystyle \,t_{r}=t_{n}-t}
265:{\displaystyle \,t_{e}=t-t_{l}}
2070:
2064:
2042:
2007:
1951:
1920:
1901:
1898:
1886:
1866:
1814:
1518:
1512:
1490:
1455:
1426:
1395:
1376:
1353:
1301:
1065:
1059:
1037:
1002:
973:
967:
948:
896:
890:
884:
805:
799:
777:
742:
688:
617:
519:
507:
357:
345:
223:with the following relations:
210:
198:
170:
158:
121:
109:
73:
61:
13:
1:
2110:
1652:,consequently, elapsed time,
1591:{\displaystyle \delta _{ext}}
1238:{\displaystyle t_{e}=t-t_{l}}
1118:{\displaystyle \delta _{ext}}
1872:{\displaystyle t\leq t_{n})}
1836:{\displaystyle (t_{l}\leq t}
1545:, depending on the value of
1541:Notice that as addressed in
1359:{\displaystyle t\leq t_{n})}
1323:{\displaystyle (t_{l}\leq t}
436:is equivalently computed as
7:
2088:
1152:is set by the current time,
867:{\displaystyle t\neq t_{n}}
10:
2181:
604:// time of next event
577:// time of last event
525:{\displaystyle t_{r}\in }
216:{\displaystyle t_{n}\in }
79:{\displaystyle t_{s}\in }
2117:Bernard Zeigler (1984).
2100:Behavior of atomic DEVS
1761:when receive x-message(
1543:Behavior of Atomic DEVS
1248:when receive x-message(
1172:, thus the elapsed time
1090:Behavior of Atomic DEVS
2080:
2020:
1984:
1958:
1873:
1837:
1801:
1781:
1780:{\displaystyle x\in X}
1752:
1726:
1700:
1673:
1646:
1625:, and next event time,
1619:
1592:
1559:
1528:
1468:
1433:
1360:
1324:
1288:
1268:
1267:{\displaystyle x\in X}
1239:
1193:
1166:
1146:
1125:, the last event time,
1119:
1075:
1015:
980:
932:
906:
868:
835:
815:
755:
719:
695:
598:
571:
526:
479:
428:
364:
324:
266:
217:
177:
128:
80:
2081:
2021:
1985:
1959:
1874:
1838:
1802:
1782:
1753:
1727:
1701:
1699:{\displaystyle t_{n}}
1674:
1672:{\displaystyle t_{e}}
1647:
1645:{\displaystyle t_{n}}
1620:
1618:{\displaystyle t_{l}}
1593:
1560:
1529:
1469:
1434:
1361:
1325:
1289:
1269:
1240:
1199:becomes zero because
1194:
1192:{\displaystyle t_{e}}
1167:
1147:
1145:{\displaystyle t_{l}}
1120:
1076:
1016:
981:
933:
907:
869:
836:
816:
756:
720:
696:
599:
597:{\displaystyle t_{n}}
572:
570:{\displaystyle t_{l}}
527:
480:
429:
365:
325:
267:
218:
178:
129:
81:
2029:
1994:
1968:
1883:
1847:
1811:
1791:
1765:
1736:
1710:
1683:
1656:
1629:
1602:
1569:
1549:
1477:
1442:
1370:
1334:
1298:
1278:
1252:
1203:
1176:
1156:
1129:
1096:
1024:
989:
942:
916:
878:
845:
825:
764:
729:
709:
608:
581:
554:
491:
442:
384:
336:
280:
229:
182:
142:
93:
45:
1983:{\displaystyle b=1}
1751:{\displaystyle b=0}
1732:) or preserved (if
1725:{\displaystyle b=1}
931:{\displaystyle y,t}
2076:
2016:
1980:
1954:
1869:
1833:
1797:
1777:
1748:
1722:
1706:, are updated (if
1696:
1669:
1642:
1615:
1598:, last event time,
1588:
1555:
1524:
1464:
1429:
1356:
1320:
1284:
1264:
1235:
1189:
1162:
1142:
1115:
1071:
1011:
976:
938:) to parent;
928:
902:
864:
831:
811:
751:
715:
701:// the associated
691:
594:
567:
522:
475:
424:
360:
320:
262:
213:
173:
124:
76:
2147:978-0-12-778455-7
2128:978-0-12-778450-2
1800:{\displaystyle t}
1558:{\displaystyle b}
1287:{\displaystyle t}
1165:{\displaystyle t}
834:{\displaystyle t}
718:{\displaystyle t}
16:(Redirected from
2172:
2151:
2132:
2085:
2083:
2082:
2077:
2054:
2053:
2041:
2040:
2025:
2023:
2022:
2017:
2006:
2005:
1989:
1987:
1986:
1981:
1963:
1961:
1960:
1955:
1944:
1943:
1919:
1918:
1878:
1876:
1875:
1870:
1865:
1864:
1842:
1840:
1839:
1834:
1826:
1825:
1806:
1804:
1803:
1798:
1786:
1784:
1783:
1778:
1757:
1755:
1754:
1749:
1731:
1729:
1728:
1723:
1705:
1703:
1702:
1697:
1695:
1694:
1678:
1676:
1675:
1670:
1668:
1667:
1651:
1649:
1648:
1643:
1641:
1640:
1624:
1622:
1621:
1616:
1614:
1613:
1597:
1595:
1594:
1589:
1587:
1586:
1564:
1562:
1561:
1556:
1533:
1531:
1530:
1525:
1502:
1501:
1489:
1488:
1473:
1471:
1470:
1465:
1454:
1453:
1438:
1436:
1435:
1430:
1419:
1418:
1394:
1393:
1365:
1363:
1362:
1357:
1352:
1351:
1329:
1327:
1326:
1321:
1313:
1312:
1293:
1291:
1290:
1285:
1273:
1271:
1270:
1265:
1244:
1242:
1241:
1236:
1234:
1233:
1215:
1214:
1198:
1196:
1195:
1190:
1188:
1187:
1171:
1169:
1168:
1163:
1151:
1149:
1148:
1143:
1141:
1140:
1124:
1122:
1121:
1116:
1114:
1113:
1088:As addressed in
1080:
1078:
1077:
1072:
1049:
1048:
1036:
1035:
1020:
1018:
1017:
1012:
1001:
1000:
985:
983:
982:
977:
966:
965:
937:
935:
934:
929:
911:
909:
908:
903:
873:
871:
870:
865:
863:
862:
840:
838:
837:
832:
820:
818:
817:
812:
789:
788:
776:
775:
760:
758:
757:
752:
741:
740:
724:
722:
721:
716:
700:
698:
697:
692:
681:
680:
662:
661:
603:
601:
600:
595:
593:
592:
576:
574:
573:
568:
566:
565:
537:Behavior of DEVS
531:
529:
528:
523:
503:
502:
484:
482:
481:
476:
468:
467:
455:
454:
433:
431:
430:
425:
423:
422:
410:
409:
397:
396:
369:
367:
366:
361:
329:
327:
326:
321:
319:
318:
306:
305:
293:
292:
271:
269:
268:
263:
261:
260:
242:
241:
222:
220:
219:
214:
194:
193:
180:
179:
174:
154:
153:
133:
131:
130:
125:
105:
104:
85:
83:
82:
77:
57:
56:
33:Behavior of DEVS
21:
2180:
2179:
2175:
2174:
2173:
2171:
2170:
2169:
2155:
2154:
2148:
2129:
2113:
2091:
2086:
2049:
2045:
2036:
2032:
2030:
2027:
2026:
2001:
1997:
1995:
1992:
1991:
1969:
1966:
1965:
1939:
1935:
1908:
1904:
1884:
1881:
1880:
1860:
1856:
1848:
1845:
1844:
1821:
1817:
1812:
1809:
1808:
1792:
1789:
1788:
1766:
1763:
1762:
1737:
1734:
1733:
1711:
1708:
1707:
1690:
1686:
1684:
1681:
1680:
1663:
1659:
1657:
1654:
1653:
1636:
1632:
1630:
1627:
1626:
1609:
1605:
1603:
1600:
1599:
1576:
1572:
1570:
1567:
1566:
1550:
1547:
1546:
1539:
1534:
1497:
1493:
1484:
1480:
1478:
1475:
1474:
1449:
1445:
1443:
1440:
1439:
1414:
1410:
1383:
1379:
1371:
1368:
1367:
1347:
1343:
1335:
1332:
1331:
1308:
1304:
1299:
1296:
1295:
1279:
1276:
1275:
1253:
1250:
1249:
1229:
1225:
1210:
1206:
1204:
1201:
1200:
1183:
1179:
1177:
1174:
1173:
1157:
1154:
1153:
1136:
1132:
1130:
1127:
1126:
1103:
1099:
1097:
1094:
1093:
1086:
1081:
1044:
1040:
1031:
1027:
1025:
1022:
1021:
996:
992:
990:
987:
986:
955:
951:
943:
940:
939:
917:
914:
913:
912:send y-message(
879:
876:
875:
858:
854:
846:
843:
842:
826:
823:
822:
784:
780:
771:
767:
765:
762:
761:
736:
732:
730:
727:
726:
710:
707:
706:
670:
666:
651:
647:
609:
606:
605:
588:
584:
582:
579:
578:
561:
557:
555:
552:
551:
545:
498:
494:
492:
489:
488:
485:
463:
459:
450:
446:
443:
440:
439:
434:
418:
414:
405:
401:
392:
388:
385:
382:
381:
337:
334:
333:
330:
314:
310:
301:
297:
288:
284:
281:
278:
277:
272:
256:
252:
237:
233:
230:
227:
226:
189:
185:
183:
149:
145:
143:
140:
139:
136:last event time
100:
96:
94:
91:
90:
52:
48:
46:
43:
42:
23:
22:
15:
12:
11:
5:
2178:
2168:
2167:
2153:
2152:
2146:
2133:
2127:
2112:
2109:
2108:
2107:
2102:
2097:
2090:
2087:
2075:
2072:
2069:
2066:
2063:
2060:
2057:
2052:
2048:
2044:
2039:
2035:
2015:
2012:
2009:
2004:
2000:
1990:then
1979:
1976:
1973:
1953:
1950:
1947:
1942:
1938:
1934:
1931:
1928:
1925:
1922:
1917:
1914:
1911:
1907:
1903:
1900:
1897:
1894:
1891:
1888:
1868:
1863:
1859:
1855:
1852:
1832:
1829:
1824:
1820:
1816:
1796:
1776:
1773:
1770:
1760:
1747:
1744:
1741:
1721:
1718:
1715:
1693:
1689:
1679:, and lifespan
1666:
1662:
1639:
1635:
1612:
1608:
1585:
1582:
1579:
1575:
1554:
1538:
1535:
1523:
1520:
1517:
1514:
1511:
1508:
1505:
1500:
1496:
1492:
1487:
1483:
1463:
1460:
1457:
1452:
1448:
1428:
1425:
1422:
1417:
1413:
1409:
1406:
1403:
1400:
1397:
1392:
1389:
1386:
1382:
1378:
1375:
1355:
1350:
1346:
1342:
1339:
1319:
1316:
1311:
1307:
1303:
1283:
1263:
1260:
1257:
1247:
1232:
1228:
1224:
1221:
1218:
1213:
1209:
1186:
1182:
1161:
1139:
1135:
1112:
1109:
1106:
1102:
1085:
1082:
1070:
1067:
1064:
1061:
1058:
1055:
1052:
1047:
1043:
1039:
1034:
1030:
1010:
1007:
1004:
999:
995:
975:
972:
969:
964:
961:
958:
954:
950:
947:
927:
924:
921:
901:
898:
895:
892:
889:
886:
883:
861:
857:
853:
850:
830:
810:
807:
804:
801:
798:
795:
792:
787:
783:
779:
774:
770:
750:
747:
744:
739:
735:
714:
690:
687:
684:
679:
676:
673:
669:
665:
660:
657:
654:
650:
646:
643:
640:
637:
634:
631:
628:
625:
622:
619:
616:
613:
591:
587:
564:
560:
549:
544:
541:
521:
518:
515:
512:
509:
506:
501:
497:
474:
471:
466:
462:
458:
453:
449:
438:
421:
417:
413:
408:
404:
400:
395:
391:
380:
376:remaining time
359:
356:
353:
350:
347:
344:
341:
317:
313:
309:
304:
300:
296:
291:
287:
276:
259:
255:
251:
248:
245:
240:
236:
225:
212:
209:
206:
203:
200:
197:
192:
188:
172:
169:
166:
163:
160:
157:
152:
148:
123:
120:
117:
114:
111:
108:
103:
99:
75:
72:
69:
66:
63:
60:
55:
51:
9:
6:
4:
3:
2:
2177:
2166:
2163:
2162:
2160:
2149:
2143:
2139:
2134:
2130:
2124:
2120:
2115:
2114:
2106:
2103:
2101:
2098:
2096:
2093:
2092:
2073:
2067:
2061:
2058:
2055:
2050:
2046:
2037:
2033:
2013:
2010:
2002:
1998:
1977:
1974:
1971:
1948:
1945:
1940:
1936:
1932:
1929:
1926:
1923:
1915:
1912:
1909:
1905:
1895:
1892:
1889:
1861:
1857:
1853:
1850:
1830:
1827:
1822:
1818:
1794:
1774:
1771:
1768:
1759:
1745:
1742:
1739:
1719:
1716:
1713:
1691:
1687:
1664:
1660:
1637:
1633:
1610:
1606:
1583:
1580:
1577:
1573:
1552:
1544:
1521:
1515:
1509:
1506:
1503:
1498:
1494:
1485:
1481:
1461:
1458:
1450:
1446:
1423:
1420:
1415:
1411:
1407:
1404:
1401:
1398:
1390:
1387:
1384:
1380:
1373:
1348:
1344:
1340:
1337:
1317:
1314:
1309:
1305:
1281:
1261:
1258:
1255:
1246:
1230:
1226:
1222:
1219:
1216:
1211:
1207:
1184:
1180:
1159:
1137:
1133:
1110:
1107:
1104:
1100:
1091:
1068:
1062:
1056:
1053:
1050:
1045:
1041:
1032:
1028:
1008:
1005:
997:
993:
970:
962:
959:
956:
952:
945:
925:
922:
919:
899:
893:
887:
881:
859:
855:
851:
848:
828:
808:
802:
796:
793:
790:
785:
781:
772:
768:
748:
745:
737:
733:
712:
704:
685:
682:
677:
674:
671:
667:
663:
658:
655:
652:
648:
644:
641:
638:
635:
632:
629:
626:
623:
620:
614:
611:
589:
585:
562:
558:
548:
540:
538:
533:
513:
510:
504:
499:
495:
487:, apparently
472:
469:
464:
460:
456:
451:
447:
437:
419:
415:
411:
406:
402:
398:
393:
389:
379:
377:
373:
351:
348:
342:
339:
315:
311:
307:
302:
298:
294:
289:
285:
275:
257:
253:
249:
246:
243:
238:
234:
224:
204:
201:
195:
190:
186:
164:
161:
155:
150:
146:
137:
115:
112:
106:
101:
97:
89:
67:
64:
58:
53:
49:
41:
37:
34:
30:
19:
2137:
2118:
1540:
1087:
546:
543:Common parts
534:
486:
435:
375:
372:current time
371:
370:denotes the
331:
273:
135:
88:elapsed time
87:
39:
26:
2095:Atomic DEVS
703:Atomic DEVS
29:atomic DEVS
2165:Algorithms
2111:References
1807:) if
1565:return by
1294:) if
841:) if
374:. And the
2043:←
2008:←
1933:−
1906:δ
1902:←
1854:≤
1828:≤
1772:∈
1574:δ
1491:←
1456:←
1408:−
1381:δ
1377:←
1341:≤
1315:≤
1259:∈
1223:−
1101:δ
1038:←
1003:←
953:δ
949:←
888:λ
885:←
852:≠
778:←
743:←
686:λ
668:δ
649:δ
517:∞
505:∈
470:−
412:−
355:∞
343:∈
308:−
250:−
208:∞
196:∈
168:∞
156:∈
119:∞
107:∈
71:∞
59:∈
27:Given an
2159:Category
2089:See also
40:lifespan
1787:, Time
1274:, Time
725:)
2144:
2125:
332:where
2142:ISBN
2123:ISBN
1843:and
1330:and
274:and
86:and
1964:if
1758:).
35:).
2161::
1245:.
532:.
378:,
138:,
2150:.
2131:.
2074:;
2071:)
2068:s
2065:(
2062:a
2059:t
2056:+
2051:l
2047:t
2038:n
2034:t
2014:;
2011:t
2003:l
1999:t
1978:1
1975:=
1972:b
1952:)
1949:x
1946:,
1941:l
1937:t
1930:t
1927:,
1924:s
1921:(
1916:t
1913:x
1910:e
1899:)
1896:b
1893:,
1890:s
1887:(
1867:)
1862:n
1858:t
1851:t
1831:t
1823:l
1819:t
1815:(
1795:t
1775:X
1769:x
1746:0
1743:=
1740:b
1720:1
1717:=
1714:b
1692:n
1688:t
1665:e
1661:t
1638:n
1634:t
1611:l
1607:t
1584:t
1581:x
1578:e
1553:b
1522:;
1519:)
1516:s
1513:(
1510:a
1507:t
1504:+
1499:l
1495:t
1486:n
1482:t
1462:;
1459:t
1451:l
1447:t
1427:)
1424:x
1421:,
1416:l
1412:t
1405:t
1402:,
1399:s
1396:(
1391:t
1388:x
1385:e
1374:s
1354:)
1349:n
1345:t
1338:t
1318:t
1310:l
1306:t
1302:(
1282:t
1262:X
1256:x
1231:l
1227:t
1220:t
1217:=
1212:e
1208:t
1185:e
1181:t
1160:t
1138:l
1134:t
1111:t
1108:x
1105:e
1069:;
1066:)
1063:s
1060:(
1057:a
1054:t
1051:+
1046:l
1042:t
1033:n
1029:t
1009:;
1006:t
998:l
994:t
974:)
971:s
968:(
963:t
960:n
957:i
946:s
926:t
923:,
920:y
900:;
897:)
894:s
891:(
882:y
860:n
856:t
849:t
829:t
809:;
806:)
803:s
800:(
797:a
794:t
791:+
786:l
782:t
773:n
769:t
749:;
746:t
738:l
734:t
713:t
689:)
683:,
678:t
675:n
672:i
664:,
659:t
656:x
653:e
645:,
642:a
639:t
636:,
633:S
630:,
627:Y
624:,
621:X
618:(
615:=
612:A
590:n
586:t
563:l
559:t
520:]
514:,
511:0
508:[
500:r
496:t
473:t
465:n
461:t
457:=
452:r
448:t
420:e
416:t
407:s
403:t
399:=
394:r
390:t
358:)
352:,
349:0
346:[
340:t
316:l
312:t
303:n
299:t
295:=
290:s
286:t
258:l
254:t
247:t
244:=
239:e
235:t
211:]
205:,
202:0
199:[
191:n
187:t
171:)
165:,
162:0
159:[
151:l
147:t
122:)
116:,
113:0
110:[
102:e
98:t
74:]
68:,
65:0
62:[
54:s
50:t
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.