63:
234:
120:
22:
4266:
336:
4616:
2268:
3914:
4372:
2073:
2560:
4261:{\displaystyle {\begin{cases}(q,\omega ,(s',ta(s'),0))\in \Delta &{\textrm {if}}~\delta _{ext}(s,t_{s},t_{e},x)=(s',1),\\(q,\omega ,(s',t_{s},t_{e}))\in \Delta &{\textrm {otherwise,i.e.}}~\delta _{ext}(s,t_{s},t_{e},x)=(s',0).\end{cases}}}
2398:
566:
414:
In addition, since the behavior of a given DEVS model needs to define how the state transition change both when time is passed by and when an event occurs, it has been described by a much general formalism, called general system
4840:
746:
2792:
2720:
4611:{\displaystyle {\begin{cases}(q,\omega ,(s',ta(s'),0))\in \Delta &{\textrm {if}}~t_{e}=t_{s},y=\lambda (s),\delta _{int}(s)=s',\\(q,\omega ,{\bar {s}})\in \Delta &{\textrm {otherwise}}.\end{cases}}}
2900:
1967:
919:
3260:
1256:
3815:
411:, which make the model move from one state to another within a set of legal states. To define it this way, the concept of a set of illegal state as well a set of legal states needs to be introduced.
1786:
621:
3134:
5558:
5467:
3047:
1066:
5763:
3545:
3471:
1467:
813:
4983:
3641:
3424:
1624:
1420:
1177:
5341:
5269:
3180:
2263:{\displaystyle {\begin{cases}(q,\omega ,(\delta _{int}(s),0))\in \Delta &{\textrm {if}}~t_{e}=ta(s),y=\lambda (s)\\(q,\omega ,{\bar {s}})&{\textrm {otherwise}}.\end{cases}}}
1128:
3726:
1709:
1528:
5085:
3573:
2993:
2944:
1556:
1012:
963:
4690:
2829:
2407:
4731:
4365:
2066:
845:
5174:
5018:
4332:
3881:
2033:
1852:
3359:
3326:
3293:
1355:
1322:
1289:
5581:
5289:
5194:
5141:
5121:
5041:
4865:
4753:
4291:
3840:
3668:
1992:
1811:
1651:
5369:
4894:
3907:
1878:
5396:
4921:
2661:
2634:
2587:
773:
5631:
5762:, ``Reachability Graph of Finite & Deterministic DEVS``, IEEE Transactions on Automation Science and Engineering, Volume 6, Issue 3, 2009, pp. 454–467,
5601:
5487:
4941:
2607:
2292:
460:
5764:
https://ieeexplore.ieee.org/document/5071137/;jsessionid=939E18A20B3B2411AA8CD012B44EE174?isnumber=5153598&arnumber=5071137&count=19&index=7
255:
248:
354:
4761:
144:
of the topic and provide significant coverage of it beyond a mere trivial mention. If notability cannot be shown, the article is likely to be
5090:
If we don't care the finite-vertex reachability graph of a DEVS model, View1 has an advantage of simplicity for treating the elapsed time
629:
2728:
2666:
2834:
1885:
853:
3188:
1184:
5043:
is the same as the number of possible input events coming to the DEVS model, that is unlimited. As a result, the number of states
5783:
3732:
5671:
298:
196:
5730:
5708:
5666:
5123:
every time any input event arrives into the DEVS model. But disadvantage might be modelers of DEVS should know how to manage
4622:
2274:
270:
168:
1715:
575:
277:
175:
3055:
390:
372:
317:
215:
101:
49:
35:
2998:
1017:
284:
182:
5778:
79:
3479:
5492:
5401:
3429:
1425:
72:
778:
4948:
3581:
3364:
1564:
1360:
1136:
266:
164:
141:
5296:
5210:
3142:
5748:
1074:
3677:
1660:
1475:
2555:{\displaystyle Q=\{(s,t_{s},t_{e})|s\in S,t_{s}\in \mathbb {T} ^{\infty },t_{e}\in (\mathbb {T} \cap )\}}
5046:
3550:
2952:
2910:
1533:
971:
929:
137:
4644:
2804:
4697:
153:
4381:
4337:
3923:
2082:
2038:
826:
5661:
5146:
4990:
4299:
3848:
2000:
1819:
438:
244:
4271:
3820:
3671:
3648:
3331:
3298:
3265:
1972:
1791:
1654:
1631:
1327:
1294:
1261:
291:
189:
5566:
5274:
5179:
5126:
5093:
5026:
4738:
4276:
3825:
3653:
1977:
1796:
1636:
83:
41:
5348:
4873:
3886:
1857:
5374:
4899:
2639:
2612:
2565:
751:
130:
2393:{\displaystyle {\mathcal {M}}=<X,Y,S,s_{0},ta,\delta _{ext},\delta _{int},\lambda >}
561:{\displaystyle {\mathcal {M}}=<X,Y,S,s_{0},ta,\delta _{ext},\delta _{int},\lambda >}
350:
8:
5606:
4294:
3843:
1995:
1814:
4845:
5759:
5740:
5718:
5696:
5684:
5586:
5472:
4926:
2592:
848:
434:
419:
149:
5726:
5704:
145:
5752:
5636:. As a result, we can abstract behavior of such a DEVS-class network, for example
5633:
is finite, we can draw a finite-vertex (as well as edge) state-transition diagram
445:
model, the behavior of coupled DEVS class is also defined by timed event system.
425:
Depending on how the total state and the external state transition function of a
78:
It may require cleanup to comply with
Knowledge's content policies, particularly
4943:
in terms of the lifespan control, modellers have to update the remaining time
5772:
3576:
1559:
408:
2280:
5717:
4835:{\displaystyle S=\{(d,\sigma )|d\in S',\sigma \in \mathbb {T} ^{\infty }\}}
418:. In this article, we use a sub-class of General System formalism, called
407:
model is a set of sequences of timed events including null events, called
5749:
https://web.archive.org/web/20120726134045/http://www.acims.arizona.edu/
4621:
Computer algorithms to simulate this view of behavior are available at
2273:
Computer algorithms to simulate this view of behavior are available at
442:
233:
5743:, ``A Reachable Graph of Finite and Deterministic DEVS Networks``,
741:{\displaystyle Q=\{(s,t_{e})|s\in S,t_{e}\in (\mathbb {T} \cap )\}}
5087:
is also unlimited that is the reason why View2 has been proposed.
2787:{\displaystyle \delta _{ext}:Q\times X\rightarrow S\times \{0,1\}}
2715:{\displaystyle \mathbb {T} ^{\infty }=[0,\infty )\cup \{\infty \}}
429:
model are defined, there are two ways to define the behavior of a
5641:
5637:
136:
Please help to demonstrate the notability of the topic by citing
448:
2895:{\displaystyle {\mathcal {G}}=<Z,Q,Q_{0},Q_{A},\Delta >}
1962:{\displaystyle (q,\omega ,(\delta _{ext}(q,x),0))\in \Delta .}
914:{\displaystyle {\mathcal {G}}=<Z,Q,Q_{0},Q_{A},\Delta >}
4334:
where the event is an output event or the unobservable event
3255:{\displaystyle \Delta \subseteq Q\times \Omega _{Z,}\times Q}
2035:
where the event is an output event or the unobservable event
1251:{\displaystyle \Delta \subseteq Q\times \Omega _{Z,}\times Q}
5656:
4604:
4254:
2799:
2722:
denotes the set of non-negative real numbers plus infinity,
2286:
2256:
820:
454:
430:
426:
404:
3810:{\displaystyle (q,\omega ,(s,t_{s},t_{e}+dt))\in \Delta .}
2281:
View 2: total states = states * lifespans * elapsed times
5644:, as a finite-vertex graph, called reachability graph
4758:. In other words, the set of partial states is indeed
1781:{\displaystyle \,(q,\omega ,(s,t_{e}+dt))\in \Delta .}
71:
A major contributor to this article appears to have a
5609:
5589:
5569:
5495:
5475:
5404:
5377:
5351:
5299:
5277:
5213:
5182:
5149:
5129:
5096:
5049:
5029:
4993:
4951:
4929:
4902:
4876:
4848:
4764:
4741:
4700:
4647:
4375:
4340:
4302:
4279:
3917:
3889:
3851:
3828:
3735:
3680:
3656:
3584:
3553:
3482:
3432:
3367:
3334:
3301:
3268:
3191:
3145:
3058:
3001:
2955:
2913:
2837:
2807:
2731:
2669:
2642:
2615:
2595:
2568:
2410:
2295:
2076:
2041:
2003:
1980:
1888:
1860:
1822:
1799:
1718:
1663:
1639:
1567:
1536:
1478:
1428:
1363:
1330:
1297:
1264:
1187:
1139:
1077:
1020:
974:
932:
856:
829:
781:
754:
632:
578:
463:
5701:
Multifacetted
Modeling and Discrete Event Simulation
5489:
in terms of the lifespan control, modellers can use
1357:, there is no change together with any even segment
616:{\displaystyle \delta _{ext}:Q\times X\rightarrow S}
5747:, pp48-56, Huntsville, Alabama, USA, (Available at
345:
may be too technical for most readers to understand
5625:
5595:
5575:
5552:
5481:
5461:
5390:
5363:
5335:
5283:
5263:
5188:
5168:
5135:
5115:
5079:
5035:
5012:
4977:
4935:
4915:
4888:
4859:
4834:
4747:
4725:
4684:
4610:
4359:
4326:
4285:
4260:
3901:
3875:
3834:
3809:
3720:
3662:
3635:
3567:
3539:
3465:
3418:
3353:
3320:
3287:
3254:
3174:
3128:
3041:
2987:
2938:
2894:
2823:
2786:
2714:
2655:
2628:
2601:
2581:
2554:
2392:
2262:
2060:
2027:
1986:
1961:
1872:
1846:
1805:
1780:
1703:
1645:
1618:
1550:
1522:
1461:
1414:
1349:
1316:
1283:
1250:
1171:
1122:
1060:
1006:
957:
913:
839:
807:
767:
740:
615:
560:
815:denotes the set of non-negative real numbers, and
5770:
5753:http://moonho.hwang.googlepages.com/publications
4628:
3361:, there is no changes together with any segment
5695:
5691:(first ed.). Wiley Interscience, New York.
5683:
5143:as above, which is not explicitly explained in
3129:{\displaystyle \,Q_{0}=\{(s_{0},ta(s_{0}),0)\}}
5204:View2 has been introduced by Hwang and Zeigler
3042:{\displaystyle Q_{N}=\{{\bar {s}}\not \in S\}}
1061:{\displaystyle Q_{N}=\{{\bar {s}}\not \in S\}}
5725:(second ed.). Academic Press, New York.
5020:that is the responsibility of the modellers.
449:View 1: total states = states * elapsed times
4829:
4771:
3123:
3073:
3036:
3015:
2781:
2769:
2709:
2703:
2549:
2417:
1117:
1092:
1055:
1034:
735:
639:
4923:by zero, if the DEVS model needs to ignore
50:Learn how and when to remove these messages
5345:When a DEVS model receives an input event
4987:in the external state transition function
4870:When a DEVS model receives an input event
3540:{\displaystyle q=(s,t_{s},t_{e})\in Q_{A}}
775:denotes elapsed time since last event and
5721:; Tag Gon Kim; Herbert Praehofer (2000).
5603:in nature, if the number of states, i.e.
5553:{\displaystyle \delta _{ext}(q,x)=(s',0)}
5462:{\displaystyle \delta _{ext}(q,x)=(s',1)}
5300:
4952:
4819:
4701:
3561:
3466:{\displaystyle (q,\omega ,q)\in \Delta .}
3059:
2672:
2517:
2487:
1719:
1544:
1462:{\displaystyle (q,\omega ,q)\in \Delta .}
1078:
783:
698:
391:Learn how and when to remove this message
373:Learn how and when to remove this message
357:, without removing the technical details.
318:Learn how and when to remove this message
216:Learn how and when to remove this message
102:Learn how and when to remove this message
808:{\displaystyle \mathbb {T} =[0,\infty )}
5563:Unlike View1, since the remaining time
5023:Since the number of possible values of
4978:{\displaystyle \,\sigma =\sigma -t_{e}}
3636:{\displaystyle \omega \in \Omega _{Z,}}
3419:{\displaystyle \omega \in \Omega _{Z,}}
1619:{\displaystyle \omega \in \Omega _{Z,}}
1415:{\displaystyle \omega \in \Omega _{Z,}}
1172:{\displaystyle Q_{A}={\mathcal {M}}.Q.}
5771:
5672:Simulation Algorithms for Coupled DEVS
5336:{\displaystyle \,\sigma =t_{s}-t_{e}.}
5264:{\displaystyle q=(s,t_{s},t_{e})\in Q}
3175:{\displaystyle Q_{A}={\mathcal {M}}.Q}
254:Please improve this article by adding
5667:Simulation Algorithms for Atomic DEVS
4638:View1 has been introduced by Zeigler
4623:Simulation Algorithms for Atomic DEVS
2275:Simulation Algorithms for Atomic DEVS
1123:{\displaystyle \,Q_{0}=\{(s_{0},0)\}}
355:make it understandable to non-experts
5469:. If the DEVS model needs to ignore
5199:
4633:
3721:{\displaystyle \omega =\epsilon _{}}
1704:{\displaystyle \omega =\epsilon _{}}
1523:{\displaystyle q=(s,t_{e})\in Q_{A}}
1258:is defined for two different cases:
329:
227:
113:
56:
15:
5703:. Academic Press, London; Orlando.
13:
5745:Proceedings of 2006 DEVS Symposium
5183:
5080:{\displaystyle s=(d,\sigma )\in S}
4824:
4586:
4448:
4153:
3990:
3883:where the event is an input event
3801:
3592:
3457:
3375:
3205:
3192:
3161:
2886:
2840:
2816:
2706:
2694:
2677:
2492:
2298:
2143:
1953:
1854:where the event is an input event
1772:
1575:
1453:
1371:
1201:
1188:
1155:
905:
859:
832:
799:
466:
14:
5795:
5723:Theory of Modeling and Simulation
5689:Theory of Modeling and Simulation
3568:{\displaystyle t\in \mathbb {T} }
2988:{\displaystyle Q=Q_{A}\cup Q_{N}}
2939:{\displaystyle Z=X\cup Y^{\phi }}
2725:the external state transition is
1551:{\displaystyle t\in \mathbb {T} }
1007:{\displaystyle Q=Q_{A}\cup Q_{N}}
958:{\displaystyle Z=X\cup Y^{\phi }}
31:This article has multiple issues.
5371:, View2 resets the elapsed time
4896:, View1 resets the elapsed time
4685:{\displaystyle q=(s,t_{e})\in Q}
2824:{\displaystyle Q={\mathcal {D}}}
2636:denotes elapsed time since last
334:
232:
118:
82:. Please discuss further on the
61:
20:
5645:
5634:
5205:
4756:
4726:{\displaystyle \,ta(s)=\sigma }
4639:
416:
39:or discuss these issues on the
5784:Formal specification languages
5619:
5611:
5547:
5530:
5524:
5512:
5456:
5439:
5433:
5421:
5252:
5220:
5068:
5056:
4790:
4786:
4774:
4714:
4708:
4673:
4654:
4580:
4574:
4553:
4532:
4526:
4504:
4498:
4442:
4439:
4430:
4419:
4399:
4384:
4360:{\displaystyle y\in Y^{\phi }}
4321:
4309:
4245:
4228:
4222:
4184:
4147:
4144:
4107:
4092:
4082:
4065:
4059:
4021:
3984:
3981:
3972:
3961:
3941:
3926:
3870:
3858:
3795:
3792:
3751:
3736:
3713:
3692:
3628:
3602:
3521:
3489:
3451:
3433:
3411:
3385:
3241:
3215:
3185:The set of state trajectories
3120:
3111:
3098:
3076:
3024:
2760:
2697:
2685:
2546:
2543:
2524:
2513:
2456:
2452:
2420:
2238:
2232:
2211:
2204:
2198:
2183:
2177:
2137:
2134:
2125:
2119:
2100:
2085:
2061:{\displaystyle y\in Y^{\phi }}
2022:
2010:
1947:
1944:
1935:
1923:
1904:
1889:
1841:
1829:
1766:
1763:
1735:
1720:
1696:
1675:
1611:
1585:
1504:
1485:
1447:
1429:
1407:
1381:
1237:
1211:
1181:The set of state trajectories
1114:
1095:
1043:
840:{\displaystyle {\mathcal {M}}}
802:
790:
732:
729:
726:
720:
705:
694:
665:
661:
642:
607:
572:the external state transition
1:
5677:
5207:in which given a total state
5169:{\displaystyle \delta _{ext}}
5013:{\displaystyle \delta _{ext}}
4641:in which given a total state
4629:Comparison of View1 and View2
4327:{\displaystyle \omega =(y,t)}
3876:{\displaystyle \omega =(x,t)}
3139:The set of acceptance states
2028:{\displaystyle \omega =(y,t)}
1847:{\displaystyle \omega =(x,t)}
256:secondary or tertiary sources
3328:. For a non-accepting state
1324:. For a non-accepting state
1133:The set of accepting states
131:general notability guideline
7:
5650:
3262:is depending on two cases:
10:
5800:
3354:{\displaystyle q\in Q_{N}}
3321:{\displaystyle q\in Q_{A}}
3288:{\displaystyle q\in Q_{N}}
2589:denotes lifespan of state
1350:{\displaystyle q\in Q_{N}}
1317:{\displaystyle q\in Q_{A}}
1284:{\displaystyle q\in Q_{N}}
1071:The set of initial states
439:behavior of a coupled DEVS
138:reliable secondary sources
127:The topic of this article
3052:The set of initial states
129:may not meet Knowledge's
5662:Behavior of Coupled DEVS
2831:is a timed event system
403:The behavior of a given
5576:{\displaystyle \sigma }
5284:{\displaystyle \sigma }
5189:{\displaystyle \Delta }
5136:{\displaystyle \sigma }
5116:{\displaystyle t_{e}=0}
5036:{\displaystyle \sigma }
4748:{\displaystyle \sigma }
4286:{\displaystyle \omega }
3835:{\displaystyle \omega }
3663:{\displaystyle \omega }
1987:{\displaystyle \omega }
1806:{\displaystyle \omega }
1646:{\displaystyle \omega }
441:model is defined as an
5779:Automata (computation)
5627:
5597:
5577:
5554:
5483:
5463:
5392:
5365:
5364:{\displaystyle x\in X}
5337:
5285:
5271:, the remaining time,
5265:
5190:
5170:
5137:
5117:
5081:
5037:
5014:
4979:
4937:
4917:
4890:
4889:{\displaystyle x\in X}
4861:
4836:
4755:is the remaining time
4749:
4727:
4686:
4619:
4612:
4361:
4328:
4287:
4262:
3903:
3902:{\displaystyle x\in X}
3877:
3836:
3811:
3722:
3664:
3637:
3569:
3541:
3467:
3420:
3355:
3322:
3289:
3256:
3176:
3130:
3043:
2989:
2940:
2896:
2825:
2788:
2716:
2657:
2630:
2603:
2583:
2556:
2394:
2271:
2264:
2062:
2029:
1988:
1963:
1874:
1873:{\displaystyle x\in X}
1848:
1807:
1782:
1705:
1647:
1620:
1552:
1524:
1463:
1416:
1351:
1318:
1285:
1252:
1173:
1124:
1062:
1008:
959:
915:
841:
809:
769:
742:
617:
562:
243:relies excessively on
5628:
5598:
5578:
5555:
5484:
5464:
5393:
5391:{\displaystyle t_{e}}
5366:
5338:
5286:
5266:
5191:
5171:
5138:
5118:
5082:
5038:
5015:
4980:
4938:
4918:
4916:{\displaystyle t_{e}}
4891:
4862:
4837:
4750:
4728:
4687:
4613:
4362:
4329:
4288:
4263:
3904:
3878:
3837:
3812:
3723:
3665:
3638:
3570:
3542:
3468:
3421:
3356:
3323:
3290:
3257:
3177:
3131:
3044:
2990:
2941:
2904:
2897:
2826:
2789:
2717:
2658:
2656:{\displaystyle t_{s}}
2631:
2629:{\displaystyle t_{e}}
2604:
2584:
2582:{\displaystyle t_{s}}
2557:
2395:
2265:
2063:
2030:
1989:
1964:
1875:
1849:
1808:
1783:
1706:
1648:
1621:
1553:
1525:
1464:
1417:
1352:
1319:
1286:
1253:
1174:
1125:
1063:
1009:
960:
923:
916:
842:
810:
770:
768:{\displaystyle t_{e}}
743:
618:
563:
80:neutral point of view
5607:
5587:
5583:is not component of
5567:
5493:
5473:
5402:
5375:
5349:
5297:
5275:
5211:
5180:
5147:
5127:
5094:
5047:
5027:
4991:
4949:
4927:
4900:
4874:
4846:
4762:
4739:
4698:
4645:
4373:
4338:
4300:
4277:
3915:
3887:
3849:
3826:
3733:
3678:
3654:
3582:
3551:
3480:
3430:
3365:
3332:
3299:
3266:
3189:
3143:
3056:
2999:
2953:
2911:
2835:
2805:
2729:
2667:
2640:
2613:
2593:
2566:
2408:
2404:the total state set
2293:
2074:
2039:
2001:
1978:
1886:
1858:
1820:
1797:
1716:
1661:
1637:
1565:
1534:
1476:
1426:
1361:
1328:
1295:
1262:
1185:
1137:
1075:
1018:
972:
930:
854:
827:
779:
752:
630:
626:the total state set
576:
461:
5626:{\displaystyle |S|}
5623:
5593:
5573:
5550:
5479:
5459:
5388:
5361:
5333:
5281:
5261:
5186:
5166:
5133:
5113:
5077:
5033:
5010:
4975:
4933:
4913:
4886:
4860:{\displaystyle S'}
4857:
4832:
4745:
4723:
4682:
4608:
4603:
4357:
4324:
4283:
4272:unit event segment
4258:
4253:
3899:
3873:
3832:
3821:unit event segment
3807:
3718:
3672:null event segment
3660:
3649:unit event segment
3633:
3565:
3537:
3476:For a total state
3463:
3416:
3351:
3318:
3285:
3252:
3172:
3126:
3039:
2985:
2936:
2892:
2821:
2784:
2712:
2653:
2626:
2599:
2579:
2552:
2390:
2260:
2255:
2058:
2025:
1984:
1973:unit event segment
1959:
1870:
1844:
1803:
1792:unit event segment
1778:
1701:
1655:null event segment
1643:
1632:unit event segment
1616:
1548:
1520:
1472:For a total state
1459:
1412:
1347:
1314:
1281:
1248:
1169:
1120:
1058:
1004:
955:
911:
849:Timed Event System
837:
805:
765:
738:
613:
558:
435:Timed Event System
420:timed event system
267:"Behavior of DEVS"
165:"Behavior of DEVS"
133:
5732:978-0-12-778455-7
5710:978-0-12-778450-2
5596:{\displaystyle S}
5482:{\displaystyle x}
5200:Features of View2
4936:{\displaystyle x}
4634:Features of View1
4595:
4577:
4462:
4457:
4167:
4162:
4004:
3999:
3027:
2602:{\displaystyle s}
2247:
2235:
2157:
2152:
1046:
401:
400:
393:
383:
382:
375:
328:
327:
320:
302:
226:
225:
218:
200:
128:
112:
111:
104:
75:with its subject.
54:
5791:
5739:M. H. Hwang and
5736:
5714:
5692:
5632:
5630:
5629:
5624:
5622:
5614:
5602:
5600:
5599:
5594:
5582:
5580:
5579:
5574:
5559:
5557:
5556:
5551:
5540:
5511:
5510:
5488:
5486:
5485:
5480:
5468:
5466:
5465:
5460:
5449:
5420:
5419:
5398:by zero only if
5397:
5395:
5394:
5389:
5387:
5386:
5370:
5368:
5367:
5362:
5342:
5340:
5339:
5334:
5329:
5328:
5316:
5315:
5290:
5288:
5287:
5282:
5270:
5268:
5267:
5262:
5251:
5250:
5238:
5237:
5195:
5193:
5192:
5187:
5175:
5173:
5172:
5167:
5165:
5164:
5142:
5140:
5139:
5134:
5122:
5120:
5119:
5114:
5106:
5105:
5086:
5084:
5083:
5078:
5042:
5040:
5039:
5034:
5019:
5017:
5016:
5011:
5009:
5008:
4984:
4982:
4981:
4976:
4974:
4973:
4942:
4940:
4939:
4934:
4922:
4920:
4919:
4914:
4912:
4911:
4895:
4893:
4892:
4887:
4867:is a state set.
4866:
4864:
4863:
4858:
4856:
4841:
4839:
4838:
4833:
4828:
4827:
4822:
4807:
4793:
4754:
4752:
4751:
4746:
4732:
4730:
4729:
4724:
4691:
4689:
4688:
4683:
4672:
4671:
4617:
4615:
4614:
4609:
4607:
4606:
4597:
4596:
4593:
4579:
4578:
4570:
4545:
4525:
4524:
4485:
4484:
4472:
4471:
4460:
4459:
4458:
4455:
4429:
4409:
4366:
4364:
4363:
4358:
4356:
4355:
4333:
4331:
4330:
4325:
4292:
4290:
4289:
4284:
4267:
4265:
4264:
4259:
4257:
4256:
4238:
4215:
4214:
4202:
4201:
4183:
4182:
4165:
4164:
4163:
4160:
4143:
4142:
4130:
4129:
4117:
4075:
4052:
4051:
4039:
4038:
4020:
4019:
4002:
4001:
4000:
3997:
3971:
3951:
3908:
3906:
3905:
3900:
3882:
3880:
3879:
3874:
3841:
3839:
3838:
3833:
3816:
3814:
3813:
3808:
3782:
3781:
3769:
3768:
3727:
3725:
3724:
3719:
3717:
3716:
3669:
3667:
3666:
3661:
3642:
3640:
3639:
3634:
3632:
3631:
3627:
3626:
3614:
3613:
3574:
3572:
3571:
3566:
3564:
3546:
3544:
3543:
3538:
3536:
3535:
3520:
3519:
3507:
3506:
3472:
3470:
3469:
3464:
3425:
3423:
3422:
3417:
3415:
3414:
3410:
3409:
3397:
3396:
3360:
3358:
3357:
3352:
3350:
3349:
3327:
3325:
3324:
3319:
3317:
3316:
3294:
3292:
3291:
3286:
3284:
3283:
3261:
3259:
3258:
3253:
3245:
3244:
3240:
3239:
3227:
3226:
3181:
3179:
3178:
3173:
3165:
3164:
3155:
3154:
3135:
3133:
3132:
3127:
3110:
3109:
3088:
3087:
3069:
3068:
3048:
3046:
3045:
3040:
3029:
3028:
3020:
3011:
3010:
2994:
2992:
2991:
2986:
2984:
2983:
2971:
2970:
2945:
2943:
2942:
2937:
2935:
2934:
2901:
2899:
2898:
2893:
2882:
2881:
2869:
2868:
2844:
2843:
2830:
2828:
2827:
2822:
2820:
2819:
2793:
2791:
2790:
2785:
2747:
2746:
2721:
2719:
2718:
2713:
2681:
2680:
2675:
2662:
2660:
2659:
2654:
2652:
2651:
2635:
2633:
2632:
2627:
2625:
2624:
2608:
2606:
2605:
2600:
2588:
2586:
2585:
2580:
2578:
2577:
2561:
2559:
2558:
2553:
2542:
2541:
2520:
2509:
2508:
2496:
2495:
2490:
2481:
2480:
2459:
2451:
2450:
2438:
2437:
2399:
2397:
2396:
2391:
2380:
2379:
2361:
2360:
2333:
2332:
2302:
2301:
2269:
2267:
2266:
2261:
2259:
2258:
2249:
2248:
2245:
2237:
2236:
2228:
2167:
2166:
2155:
2154:
2153:
2150:
2118:
2117:
2067:
2065:
2064:
2059:
2057:
2056:
2034:
2032:
2031:
2026:
1993:
1991:
1990:
1985:
1968:
1966:
1965:
1960:
1922:
1921:
1879:
1877:
1876:
1871:
1853:
1851:
1850:
1845:
1812:
1810:
1809:
1804:
1787:
1785:
1784:
1779:
1753:
1752:
1710:
1708:
1707:
1702:
1700:
1699:
1652:
1650:
1649:
1644:
1625:
1623:
1622:
1617:
1615:
1614:
1610:
1609:
1597:
1596:
1557:
1555:
1554:
1549:
1547:
1529:
1527:
1526:
1521:
1519:
1518:
1503:
1502:
1468:
1466:
1465:
1460:
1421:
1419:
1418:
1413:
1411:
1410:
1406:
1405:
1393:
1392:
1356:
1354:
1353:
1348:
1346:
1345:
1323:
1321:
1320:
1315:
1313:
1312:
1290:
1288:
1287:
1282:
1280:
1279:
1257:
1255:
1254:
1249:
1241:
1240:
1236:
1235:
1223:
1222:
1178:
1176:
1175:
1170:
1159:
1158:
1149:
1148:
1129:
1127:
1126:
1121:
1107:
1106:
1088:
1087:
1067:
1065:
1064:
1059:
1048:
1047:
1039:
1030:
1029:
1013:
1011:
1010:
1005:
1003:
1002:
990:
989:
964:
962:
961:
956:
954:
953:
920:
918:
917:
912:
901:
900:
888:
887:
863:
862:
846:
844:
843:
838:
836:
835:
814:
812:
811:
806:
786:
774:
772:
771:
766:
764:
763:
747:
745:
744:
739:
701:
690:
689:
668:
660:
659:
622:
620:
619:
614:
594:
593:
567:
565:
564:
559:
548:
547:
529:
528:
501:
500:
470:
469:
396:
389:
378:
371:
367:
364:
358:
338:
337:
330:
323:
316:
312:
309:
303:
301:
260:
236:
228:
221:
214:
210:
207:
201:
199:
158:
122:
121:
114:
107:
100:
96:
93:
87:
73:close connection
65:
64:
57:
46:
24:
23:
16:
5799:
5798:
5794:
5793:
5792:
5790:
5789:
5788:
5769:
5768:
5760:Bernard Zeigler
5758:M.H. Hwang and
5741:Bernard Zeigler
5733:
5719:Bernard Zeigler
5711:
5697:Bernard Zeigler
5685:Bernard Zeigler
5680:
5653:
5618:
5610:
5608:
5605:
5604:
5588:
5585:
5584:
5568:
5565:
5564:
5533:
5500:
5496:
5494:
5491:
5490:
5474:
5471:
5470:
5442:
5409:
5405:
5403:
5400:
5399:
5382:
5378:
5376:
5373:
5372:
5350:
5347:
5346:
5343:
5324:
5320:
5311:
5307:
5298:
5295:
5294:
5291:is computed as
5276:
5273:
5272:
5246:
5242:
5233:
5229:
5212:
5209:
5208:
5202:
5181:
5178:
5177:
5154:
5150:
5148:
5145:
5144:
5128:
5125:
5124:
5101:
5097:
5095:
5092:
5091:
5048:
5045:
5044:
5028:
5025:
5024:
4998:
4994:
4992:
4989:
4988:
4985:
4969:
4965:
4950:
4947:
4946:
4928:
4925:
4924:
4907:
4903:
4901:
4898:
4897:
4875:
4872:
4871:
4849:
4847:
4844:
4843:
4823:
4818:
4817:
4800:
4789:
4763:
4760:
4759:
4740:
4737:
4736:
4733:
4699:
4696:
4695:
4667:
4663:
4646:
4643:
4642:
4636:
4631:
4618:
4602:
4601:
4592:
4591:
4589:
4569:
4568:
4550:
4549:
4538:
4514:
4510:
4480:
4476:
4467:
4463:
4454:
4453:
4451:
4422:
4402:
4377:
4376:
4374:
4371:
4370:
4351:
4347:
4339:
4336:
4335:
4301:
4298:
4297:
4278:
4275:
4274:
4268:
4252:
4251:
4231:
4210:
4206:
4197:
4193:
4172:
4168:
4159:
4158:
4156:
4138:
4134:
4125:
4121:
4110:
4089:
4088:
4068:
4047:
4043:
4034:
4030:
4009:
4005:
3996:
3995:
3993:
3964:
3944:
3919:
3918:
3916:
3913:
3912:
3888:
3885:
3884:
3850:
3847:
3846:
3827:
3824:
3823:
3817:
3777:
3773:
3764:
3760:
3734:
3731:
3730:
3691:
3687:
3679:
3676:
3675:
3655:
3652:
3651:
3644:
3622:
3618:
3609:
3605:
3595:
3591:
3583:
3580:
3579:
3560:
3552:
3549:
3548:
3531:
3527:
3515:
3511:
3502:
3498:
3481:
3478:
3477:
3431:
3428:
3427:
3405:
3401:
3392:
3388:
3378:
3374:
3366:
3363:
3362:
3345:
3341:
3333:
3330:
3329:
3312:
3308:
3300:
3297:
3296:
3279:
3275:
3267:
3264:
3263:
3235:
3231:
3222:
3218:
3208:
3204:
3190:
3187:
3186:
3160:
3159:
3150:
3146:
3144:
3141:
3140:
3105:
3101:
3083:
3079:
3064:
3060:
3057:
3054:
3053:
3019:
3018:
3006:
3002:
3000:
2997:
2996:
2979:
2975:
2966:
2962:
2954:
2951:
2950:
2930:
2926:
2912:
2909:
2908:
2877:
2873:
2864:
2860:
2839:
2838:
2836:
2833:
2832:
2815:
2814:
2806:
2803:
2802:
2736:
2732:
2730:
2727:
2726:
2676:
2671:
2670:
2668:
2665:
2664:
2647:
2643:
2641:
2638:
2637:
2620:
2616:
2614:
2611:
2610:
2594:
2591:
2590:
2573:
2569:
2567:
2564:
2563:
2537:
2533:
2516:
2504:
2500:
2491:
2486:
2485:
2476:
2472:
2455:
2446:
2442:
2433:
2429:
2409:
2406:
2405:
2369:
2365:
2350:
2346:
2328:
2324:
2297:
2296:
2294:
2291:
2290:
2285:Suppose that a
2283:
2270:
2254:
2253:
2244:
2243:
2241:
2227:
2226:
2208:
2207:
2162:
2158:
2149:
2148:
2146:
2107:
2103:
2078:
2077:
2075:
2072:
2071:
2052:
2048:
2040:
2037:
2036:
2002:
1999:
1998:
1979:
1976:
1975:
1969:
1911:
1907:
1887:
1884:
1883:
1859:
1856:
1855:
1821:
1818:
1817:
1798:
1795:
1794:
1788:
1748:
1744:
1717:
1714:
1713:
1674:
1670:
1662:
1659:
1658:
1638:
1635:
1634:
1627:
1605:
1601:
1592:
1588:
1578:
1574:
1566:
1563:
1562:
1543:
1535:
1532:
1531:
1514:
1510:
1498:
1494:
1477:
1474:
1473:
1427:
1424:
1423:
1401:
1397:
1388:
1384:
1374:
1370:
1362:
1359:
1358:
1341:
1337:
1329:
1326:
1325:
1308:
1304:
1296:
1293:
1292:
1275:
1271:
1263:
1260:
1259:
1231:
1227:
1218:
1214:
1204:
1200:
1186:
1183:
1182:
1154:
1153:
1144:
1140:
1138:
1135:
1134:
1102:
1098:
1083:
1079:
1076:
1073:
1072:
1038:
1037:
1025:
1021:
1019:
1016:
1015:
998:
994:
985:
981:
973:
970:
969:
949:
945:
931:
928:
927:
896:
892:
883:
879:
858:
857:
855:
852:
851:
831:
830:
828:
825:
824:
782:
780:
777:
776:
759:
755:
753:
750:
749:
697:
685:
681:
664:
655:
651:
631:
628:
627:
583:
579:
577:
574:
573:
537:
533:
518:
514:
496:
492:
465:
464:
462:
459:
458:
453:Suppose that a
451:
397:
386:
385:
384:
379:
368:
362:
359:
351:help improve it
348:
339:
335:
324:
313:
307:
304:
261:
259:
253:
249:primary sources
237:
222:
211:
205:
202:
159:
157:
135:
123:
119:
108:
97:
91:
88:
77:
66:
62:
25:
21:
12:
11:
5:
5797:
5787:
5786:
5781:
5767:
5766:
5756:
5737:
5731:
5715:
5709:
5693:
5679:
5676:
5675:
5674:
5669:
5664:
5659:
5652:
5649:
5621:
5617:
5613:
5592:
5572:
5549:
5546:
5543:
5539:
5536:
5532:
5529:
5526:
5523:
5520:
5517:
5514:
5509:
5506:
5503:
5499:
5478:
5458:
5455:
5452:
5448:
5445:
5441:
5438:
5435:
5432:
5429:
5426:
5423:
5418:
5415:
5412:
5408:
5385:
5381:
5360:
5357:
5354:
5332:
5327:
5323:
5319:
5314:
5310:
5306:
5303:
5293:
5280:
5260:
5257:
5254:
5249:
5245:
5241:
5236:
5232:
5228:
5225:
5222:
5219:
5216:
5201:
5198:
5185:
5176:itself but in
5163:
5160:
5157:
5153:
5132:
5112:
5109:
5104:
5100:
5076:
5073:
5070:
5067:
5064:
5061:
5058:
5055:
5052:
5032:
5007:
5004:
5001:
4997:
4972:
4968:
4964:
4961:
4958:
4955:
4945:
4932:
4910:
4906:
4885:
4882:
4879:
4855:
4852:
4831:
4826:
4821:
4816:
4813:
4810:
4806:
4803:
4799:
4796:
4792:
4788:
4785:
4782:
4779:
4776:
4773:
4770:
4767:
4744:
4722:
4719:
4716:
4713:
4710:
4707:
4704:
4694:
4681:
4678:
4675:
4670:
4666:
4662:
4659:
4656:
4653:
4650:
4635:
4632:
4630:
4627:
4605:
4600:
4590:
4588:
4585:
4582:
4576:
4573:
4567:
4564:
4561:
4558:
4555:
4552:
4551:
4548:
4544:
4541:
4537:
4534:
4531:
4528:
4523:
4520:
4517:
4513:
4509:
4506:
4503:
4500:
4497:
4494:
4491:
4488:
4483:
4479:
4475:
4470:
4466:
4452:
4450:
4447:
4444:
4441:
4438:
4435:
4432:
4428:
4425:
4421:
4418:
4415:
4412:
4408:
4405:
4401:
4398:
4395:
4392:
4389:
4386:
4383:
4382:
4380:
4369:
4354:
4350:
4346:
4343:
4323:
4320:
4317:
4314:
4311:
4308:
4305:
4282:
4255:
4250:
4247:
4244:
4241:
4237:
4234:
4230:
4227:
4224:
4221:
4218:
4213:
4209:
4205:
4200:
4196:
4192:
4189:
4186:
4181:
4178:
4175:
4171:
4161:otherwise,i.e.
4157:
4155:
4152:
4149:
4146:
4141:
4137:
4133:
4128:
4124:
4120:
4116:
4113:
4109:
4106:
4103:
4100:
4097:
4094:
4091:
4090:
4087:
4084:
4081:
4078:
4074:
4071:
4067:
4064:
4061:
4058:
4055:
4050:
4046:
4042:
4037:
4033:
4029:
4026:
4023:
4018:
4015:
4012:
4008:
3994:
3992:
3989:
3986:
3983:
3980:
3977:
3974:
3970:
3967:
3963:
3960:
3957:
3954:
3950:
3947:
3943:
3940:
3937:
3934:
3931:
3928:
3925:
3924:
3922:
3911:
3898:
3895:
3892:
3872:
3869:
3866:
3863:
3860:
3857:
3854:
3831:
3806:
3803:
3800:
3797:
3794:
3791:
3788:
3785:
3780:
3776:
3772:
3767:
3763:
3759:
3756:
3753:
3750:
3747:
3744:
3741:
3738:
3729:
3715:
3712:
3709:
3706:
3703:
3700:
3697:
3694:
3690:
3686:
3683:
3659:
3630:
3625:
3621:
3617:
3612:
3608:
3604:
3601:
3598:
3594:
3590:
3587:
3563:
3559:
3556:
3534:
3530:
3526:
3523:
3518:
3514:
3510:
3505:
3501:
3497:
3494:
3491:
3488:
3485:
3474:
3473:
3462:
3459:
3456:
3453:
3450:
3447:
3444:
3441:
3438:
3435:
3413:
3408:
3404:
3400:
3395:
3391:
3387:
3384:
3381:
3377:
3373:
3370:
3348:
3344:
3340:
3337:
3315:
3311:
3307:
3304:
3282:
3278:
3274:
3271:
3251:
3248:
3243:
3238:
3234:
3230:
3225:
3221:
3217:
3214:
3211:
3207:
3203:
3200:
3197:
3194:
3183:
3171:
3168:
3163:
3158:
3153:
3149:
3137:
3125:
3122:
3119:
3116:
3113:
3108:
3104:
3100:
3097:
3094:
3091:
3086:
3082:
3078:
3075:
3072:
3067:
3063:
3050:
3038:
3035:
3032:
3026:
3023:
3017:
3014:
3009:
3005:
2982:
2978:
2974:
2969:
2965:
2961:
2958:
2949:The state set
2947:
2933:
2929:
2925:
2922:
2919:
2916:
2907:The event set
2891:
2888:
2885:
2880:
2876:
2872:
2867:
2863:
2859:
2856:
2853:
2850:
2847:
2842:
2818:
2813:
2810:
2796:
2795:
2783:
2780:
2777:
2774:
2771:
2768:
2765:
2762:
2759:
2756:
2753:
2750:
2745:
2742:
2739:
2735:
2723:
2711:
2708:
2705:
2702:
2699:
2696:
2693:
2690:
2687:
2684:
2679:
2674:
2650:
2646:
2623:
2619:
2598:
2576:
2572:
2551:
2548:
2545:
2540:
2536:
2532:
2529:
2526:
2523:
2519:
2515:
2512:
2507:
2503:
2499:
2494:
2489:
2484:
2479:
2475:
2471:
2468:
2465:
2462:
2458:
2454:
2449:
2445:
2441:
2436:
2432:
2428:
2425:
2422:
2419:
2416:
2413:
2389:
2386:
2383:
2378:
2375:
2372:
2368:
2364:
2359:
2356:
2353:
2349:
2345:
2342:
2339:
2336:
2331:
2327:
2323:
2320:
2317:
2314:
2311:
2308:
2305:
2300:
2282:
2279:
2257:
2252:
2242:
2240:
2234:
2231:
2225:
2222:
2219:
2216:
2213:
2210:
2209:
2206:
2203:
2200:
2197:
2194:
2191:
2188:
2185:
2182:
2179:
2176:
2173:
2170:
2165:
2161:
2147:
2145:
2142:
2139:
2136:
2133:
2130:
2127:
2124:
2121:
2116:
2113:
2110:
2106:
2102:
2099:
2096:
2093:
2090:
2087:
2084:
2083:
2081:
2070:
2055:
2051:
2047:
2044:
2024:
2021:
2018:
2015:
2012:
2009:
2006:
1983:
1958:
1955:
1952:
1949:
1946:
1943:
1940:
1937:
1934:
1931:
1928:
1925:
1920:
1917:
1914:
1910:
1906:
1903:
1900:
1897:
1894:
1891:
1882:
1869:
1866:
1863:
1843:
1840:
1837:
1834:
1831:
1828:
1825:
1802:
1777:
1774:
1771:
1768:
1765:
1762:
1759:
1756:
1751:
1747:
1743:
1740:
1737:
1734:
1731:
1728:
1725:
1722:
1712:
1698:
1695:
1692:
1689:
1686:
1683:
1680:
1677:
1673:
1669:
1666:
1642:
1613:
1608:
1604:
1600:
1595:
1591:
1587:
1584:
1581:
1577:
1573:
1570:
1546:
1542:
1539:
1517:
1513:
1509:
1506:
1501:
1497:
1493:
1490:
1487:
1484:
1481:
1470:
1469:
1458:
1455:
1452:
1449:
1446:
1443:
1440:
1437:
1434:
1431:
1409:
1404:
1400:
1396:
1391:
1387:
1383:
1380:
1377:
1373:
1369:
1366:
1344:
1340:
1336:
1333:
1311:
1307:
1303:
1300:
1278:
1274:
1270:
1267:
1247:
1244:
1239:
1234:
1230:
1226:
1221:
1217:
1213:
1210:
1207:
1203:
1199:
1196:
1193:
1190:
1179:
1168:
1165:
1162:
1157:
1152:
1147:
1143:
1131:
1119:
1116:
1113:
1110:
1105:
1101:
1097:
1094:
1091:
1086:
1082:
1069:
1057:
1054:
1051:
1045:
1042:
1036:
1033:
1028:
1024:
1001:
997:
993:
988:
984:
980:
977:
968:The state set
966:
952:
948:
944:
941:
938:
935:
926:The event set
910:
907:
904:
899:
895:
891:
886:
882:
878:
875:
872:
869:
866:
861:
834:
817:
816:
804:
801:
798:
795:
792:
789:
785:
762:
758:
737:
734:
731:
728:
725:
722:
719:
716:
713:
710:
707:
704:
700:
696:
693:
688:
684:
680:
677:
674:
671:
667:
663:
658:
654:
650:
647:
644:
641:
638:
635:
624:
612:
609:
606:
603:
600:
597:
592:
589:
586:
582:
557:
554:
551:
546:
543:
540:
536:
532:
527:
524:
521:
517:
513:
510:
507:
504:
499:
495:
491:
488:
485:
482:
479:
476:
473:
468:
450:
447:
409:event segments
399:
398:
381:
380:
342:
340:
333:
326:
325:
240:
238:
231:
224:
223:
126:
124:
117:
110:
109:
69:
67:
60:
55:
29:
28:
26:
19:
9:
6:
4:
3:
2:
5796:
5785:
5782:
5780:
5777:
5776:
5774:
5765:
5761:
5757:
5754:
5750:
5746:
5742:
5738:
5734:
5728:
5724:
5720:
5716:
5712:
5706:
5702:
5698:
5694:
5690:
5686:
5682:
5681:
5673:
5670:
5668:
5665:
5663:
5660:
5658:
5655:
5654:
5648:
5646:
5643:
5639:
5635:
5615:
5590:
5570:
5561:
5544:
5541:
5537:
5534:
5527:
5521:
5518:
5515:
5507:
5504:
5501:
5497:
5476:
5453:
5450:
5446:
5443:
5436:
5430:
5427:
5424:
5416:
5413:
5410:
5406:
5383:
5379:
5358:
5355:
5352:
5330:
5325:
5321:
5317:
5312:
5308:
5304:
5301:
5292:
5278:
5258:
5255:
5247:
5243:
5239:
5234:
5230:
5226:
5223:
5217:
5214:
5206:
5197:
5161:
5158:
5155:
5151:
5130:
5110:
5107:
5102:
5098:
5088:
5074:
5071:
5065:
5062:
5059:
5053:
5050:
5030:
5021:
5005:
5002:
4999:
4995:
4970:
4966:
4962:
4959:
4956:
4953:
4944:
4930:
4908:
4904:
4883:
4880:
4877:
4868:
4853:
4850:
4814:
4811:
4808:
4804:
4801:
4797:
4794:
4783:
4780:
4777:
4768:
4765:
4757:
4742:
4720:
4717:
4711:
4705:
4702:
4693:
4679:
4676:
4668:
4664:
4660:
4657:
4651:
4648:
4640:
4626:
4624:
4598:
4583:
4571:
4565:
4562:
4559:
4556:
4546:
4542:
4539:
4535:
4529:
4521:
4518:
4515:
4511:
4507:
4501:
4495:
4492:
4489:
4486:
4481:
4477:
4473:
4468:
4464:
4445:
4436:
4433:
4426:
4423:
4416:
4413:
4410:
4406:
4403:
4396:
4393:
4390:
4387:
4378:
4368:
4352:
4348:
4344:
4341:
4318:
4315:
4312:
4306:
4303:
4296:
4280:
4273:
4248:
4242:
4239:
4235:
4232:
4225:
4219:
4216:
4211:
4207:
4203:
4198:
4194:
4190:
4187:
4179:
4176:
4173:
4169:
4150:
4139:
4135:
4131:
4126:
4122:
4118:
4114:
4111:
4104:
4101:
4098:
4095:
4085:
4079:
4076:
4072:
4069:
4062:
4056:
4053:
4048:
4044:
4040:
4035:
4031:
4027:
4024:
4016:
4013:
4010:
4006:
3987:
3978:
3975:
3968:
3965:
3958:
3955:
3952:
3948:
3945:
3938:
3935:
3932:
3929:
3920:
3910:
3896:
3893:
3890:
3867:
3864:
3861:
3855:
3852:
3845:
3829:
3822:
3804:
3798:
3789:
3786:
3783:
3778:
3774:
3770:
3765:
3761:
3757:
3754:
3748:
3745:
3742:
3739:
3728:
3710:
3707:
3704:
3701:
3698:
3695:
3688:
3684:
3681:
3673:
3657:
3650:
3645:
3623:
3619:
3615:
3610:
3606:
3599:
3596:
3588:
3585:
3578:
3577:event segment
3557:
3554:
3532:
3528:
3524:
3516:
3512:
3508:
3503:
3499:
3495:
3492:
3486:
3483:
3460:
3454:
3448:
3445:
3442:
3439:
3436:
3406:
3402:
3398:
3393:
3389:
3382:
3379:
3371:
3368:
3346:
3342:
3338:
3335:
3313:
3309:
3305:
3302:
3280:
3276:
3272:
3269:
3249:
3246:
3236:
3232:
3228:
3223:
3219:
3212:
3209:
3201:
3198:
3195:
3184:
3169:
3166:
3156:
3151:
3147:
3138:
3117:
3114:
3106:
3102:
3095:
3092:
3089:
3084:
3080:
3070:
3065:
3061:
3051:
3033:
3030:
3021:
3012:
3007:
3003:
2980:
2976:
2972:
2967:
2963:
2959:
2956:
2948:
2931:
2927:
2923:
2920:
2917:
2914:
2906:
2905:
2903:
2889:
2883:
2878:
2874:
2870:
2865:
2861:
2857:
2854:
2851:
2848:
2845:
2811:
2808:
2801:
2778:
2775:
2772:
2766:
2763:
2757:
2754:
2751:
2748:
2743:
2740:
2737:
2733:
2724:
2700:
2691:
2688:
2682:
2648:
2644:
2621:
2617:
2596:
2574:
2570:
2538:
2534:
2530:
2527:
2521:
2510:
2505:
2501:
2497:
2482:
2477:
2473:
2469:
2466:
2463:
2460:
2447:
2443:
2439:
2434:
2430:
2426:
2423:
2414:
2411:
2403:
2402:
2401:
2387:
2384:
2381:
2376:
2373:
2370:
2366:
2362:
2357:
2354:
2351:
2347:
2343:
2340:
2337:
2334:
2329:
2325:
2321:
2318:
2315:
2312:
2309:
2306:
2303:
2288:
2278:
2276:
2250:
2229:
2223:
2220:
2217:
2214:
2201:
2195:
2192:
2189:
2186:
2180:
2174:
2171:
2168:
2163:
2159:
2140:
2131:
2128:
2122:
2114:
2111:
2108:
2104:
2097:
2094:
2091:
2088:
2079:
2069:
2053:
2049:
2045:
2042:
2019:
2016:
2013:
2007:
2004:
1997:
1981:
1974:
1956:
1950:
1941:
1938:
1932:
1929:
1926:
1918:
1915:
1912:
1908:
1901:
1898:
1895:
1892:
1881:
1867:
1864:
1861:
1838:
1835:
1832:
1826:
1823:
1816:
1800:
1793:
1775:
1769:
1760:
1757:
1754:
1749:
1745:
1741:
1738:
1732:
1729:
1726:
1723:
1711:
1693:
1690:
1687:
1684:
1681:
1678:
1671:
1667:
1664:
1656:
1640:
1633:
1628:
1606:
1602:
1598:
1593:
1589:
1582:
1579:
1571:
1568:
1561:
1560:event segment
1540:
1537:
1515:
1511:
1507:
1499:
1495:
1491:
1488:
1482:
1479:
1456:
1450:
1444:
1441:
1438:
1435:
1432:
1402:
1398:
1394:
1389:
1385:
1378:
1375:
1367:
1364:
1342:
1338:
1334:
1331:
1309:
1305:
1301:
1298:
1276:
1272:
1268:
1265:
1245:
1242:
1232:
1228:
1224:
1219:
1215:
1208:
1205:
1197:
1194:
1191:
1180:
1166:
1163:
1160:
1150:
1145:
1141:
1132:
1111:
1108:
1103:
1099:
1089:
1084:
1080:
1070:
1052:
1049:
1040:
1031:
1026:
1022:
999:
995:
991:
986:
982:
978:
975:
967:
950:
946:
942:
939:
936:
933:
925:
924:
922:
908:
902:
897:
893:
889:
884:
880:
876:
873:
870:
867:
864:
850:
822:
796:
793:
787:
760:
756:
723:
717:
714:
711:
708:
702:
691:
686:
682:
678:
675:
672:
669:
656:
652:
648:
645:
636:
633:
625:
610:
604:
601:
598:
595:
590:
587:
584:
580:
571:
570:
569:
555:
552:
549:
544:
541:
538:
534:
530:
525:
522:
519:
515:
511:
508:
505:
502:
497:
493:
489:
486:
483:
480:
477:
474:
471:
456:
446:
444:
440:
436:
432:
428:
423:
421:
417:
412:
410:
406:
395:
392:
377:
374:
366:
363:November 2012
356:
352:
346:
343:This article
341:
332:
331:
322:
319:
311:
308:November 2012
300:
297:
293:
290:
286:
283:
279:
276:
272:
269: –
268:
264:
263:Find sources:
257:
251:
250:
246:
241:This article
239:
235:
230:
229:
220:
217:
209:
206:November 2012
198:
195:
191:
188:
184:
181:
177:
174:
170:
167: –
166:
162:
161:Find sources:
155:
151:
147:
143:
139:
132:
125:
116:
115:
106:
103:
95:
92:November 2012
85:
81:
76:
74:
68:
59:
58:
53:
51:
44:
43:
38:
37:
32:
27:
18:
17:
5744:
5722:
5700:
5688:
5562:
5344:
5203:
5089:
5022:
4986:
4869:
4734:
4637:
4620:
4269:
3818:
3646:
3643:as follows.
3475:
2797:
2663:update, and
2284:
2272:
1970:
1789:
1629:
1626:as follows.
1471:
818:
452:
437:. Since the
433:model using
424:
413:
402:
387:
369:
360:
344:
314:
305:
295:
288:
281:
274:
262:
242:
212:
203:
193:
186:
179:
172:
160:
98:
89:
70:
47:
40:
34:
33:Please help
30:
4295:timed event
3844:timed event
1996:timed event
1815:timed event
443:atomic DEVS
142:independent
5773:Categories
5678:References
278:newspapers
245:references
176:newspapers
150:redirected
36:improve it
5571:σ
5498:δ
5407:δ
5356:∈
5318:−
5302:σ
5279:σ
5256:∈
5184:Δ
5152:δ
5131:σ
5072:∈
5066:σ
5031:σ
4996:δ
4963:−
4960:σ
4954:σ
4881:∈
4825:∞
4815:∈
4812:σ
4798:∈
4784:σ
4743:σ
4721:σ
4677:∈
4594:otherwise
4587:Δ
4584:∈
4575:¯
4563:ω
4512:δ
4496:λ
4449:Δ
4446:∈
4394:ω
4353:ϕ
4345:∈
4304:ω
4281:ω
4170:δ
4154:Δ
4151:∈
4102:ω
4007:δ
3991:Δ
3988:∈
3936:ω
3894:∈
3853:ω
3830:ω
3802:Δ
3799:∈
3746:ω
3689:ϵ
3682:ω
3658:ω
3593:Ω
3589:∈
3586:ω
3558:∈
3525:∈
3458:Δ
3455:∈
3443:ω
3376:Ω
3372:∈
3369:ω
3339:∈
3306:∈
3273:∈
3247:×
3206:Ω
3202:×
3196:⊆
3193:Δ
3025:¯
2973:∪
2932:ϕ
2924:∪
2887:Δ
2798:Then the
2767:×
2761:→
2755:×
2734:δ
2707:∞
2701:∪
2695:∞
2678:∞
2522:∩
2511:∈
2493:∞
2483:∈
2464:∈
2385:λ
2367:δ
2348:δ
2246:otherwise
2233:¯
2221:ω
2196:λ
2144:Δ
2141:∈
2105:δ
2095:ω
2054:ϕ
2046:∈
2005:ω
1982:ω
1954:Δ
1951:∈
1909:δ
1899:ω
1865:∈
1824:ω
1801:ω
1773:Δ
1770:∈
1730:ω
1672:ϵ
1665:ω
1641:ω
1576:Ω
1572:∈
1569:ω
1541:∈
1508:∈
1454:Δ
1451:∈
1439:ω
1372:Ω
1368:∈
1365:ω
1335:∈
1302:∈
1269:∈
1243:×
1202:Ω
1198:×
1192:⊆
1189:Δ
1044:¯
992:∪
951:ϕ
943:∪
906:Δ
819:Then the
800:∞
703:∩
692:∈
673:∈
608:→
602:×
581:δ
553:λ
535:δ
516:δ
422:instead.
140:that are
84:talk page
42:talk page
5699:(1984).
5687:(1976).
5651:See also
5538:′
5447:′
4854:′
4805:′
4543:′
4427:′
4407:′
4236:′
4115:′
4073:′
3969:′
3949:′
3547:at time
3031:∉
1530:at time
1050:∉
5642:FD-DEVS
5638:SP-DEVS
3674:, i.e.
3670:is the
3575:and an
2289:model,
1657:, i.e.
1653:is the
1558:and an
823:model,
457:model,
349:Please
292:scholar
190:scholar
154:deleted
5729:
5707:
4842:where
4735:where
4461:
4166:
4003:
2995:where
2902:where
2562:where
2156:
1014:where
921:where
748:where
294:
287:
280:
273:
265:
192:
185:
178:
171:
163:
146:merged
4293:is a
3842:is a
2846:=<
2304:=<
1994:is a
1813:is a
865:=<
847:is a
472:=<
299:JSTOR
285:books
197:JSTOR
183:books
152:, or
5751:and
5727:ISBN
5705:ISBN
5657:DEVS
5640:and
4692:and
3295:and
2890:>
2800:DEVS
2400:has
2388:>
2287:DEVS
1291:and
909:>
821:DEVS
568:has
556:>
455:DEVS
431:DEVS
427:DEVS
405:DEVS
271:news
169:news
4270:If
3819:If
3647:If
3426:so
1971:If
1790:If
1630:If
1422:so
353:to
247:to
5775::
5647:.
5560:.
5196:.
4625:.
4456:if
4367:,
3998:if
3909:,
2609:,
2277:.
2151:if
2068:,
1880:,
258:.
148:,
45:.
5755:)
5735:.
5713:.
5620:|
5616:S
5612:|
5591:S
5548:)
5545:0
5542:,
5535:s
5531:(
5528:=
5525:)
5522:x
5519:,
5516:q
5513:(
5508:t
5505:x
5502:e
5477:x
5457:)
5454:1
5451:,
5444:s
5440:(
5437:=
5434:)
5431:x
5428:,
5425:q
5422:(
5417:t
5414:x
5411:e
5384:e
5380:t
5359:X
5353:x
5331:.
5326:e
5322:t
5313:s
5309:t
5305:=
5259:Q
5253:)
5248:e
5244:t
5240:,
5235:s
5231:t
5227:,
5224:s
5221:(
5218:=
5215:q
5162:t
5159:x
5156:e
5111:0
5108:=
5103:e
5099:t
5075:S
5069:)
5063:,
5060:d
5057:(
5054:=
5051:s
5006:t
5003:x
5000:e
4971:e
4967:t
4957:=
4931:x
4909:e
4905:t
4884:X
4878:x
4851:S
4830:}
4820:T
4809:,
4802:S
4795:d
4791:|
4787:)
4781:,
4778:d
4775:(
4772:{
4769:=
4766:S
4718:=
4715:)
4712:s
4709:(
4706:a
4703:t
4680:Q
4674:)
4669:e
4665:t
4661:,
4658:s
4655:(
4652:=
4649:q
4599:.
4581:)
4572:s
4566:,
4560:,
4557:q
4554:(
4547:,
4540:s
4536:=
4533:)
4530:s
4527:(
4522:t
4519:n
4516:i
4508:,
4505:)
4502:s
4499:(
4493:=
4490:y
4487:,
4482:s
4478:t
4474:=
4469:e
4465:t
4443:)
4440:)
4437:0
4434:,
4431:)
4424:s
4420:(
4417:a
4414:t
4411:,
4404:s
4400:(
4397:,
4391:,
4388:q
4385:(
4379:{
4349:Y
4342:y
4322:)
4319:t
4316:,
4313:y
4310:(
4307:=
4249:.
4246:)
4243:0
4240:,
4233:s
4229:(
4226:=
4223:)
4220:x
4217:,
4212:e
4208:t
4204:,
4199:s
4195:t
4191:,
4188:s
4185:(
4180:t
4177:x
4174:e
4148:)
4145:)
4140:e
4136:t
4132:,
4127:s
4123:t
4119:,
4112:s
4108:(
4105:,
4099:,
4096:q
4093:(
4086:,
4083:)
4080:1
4077:,
4070:s
4066:(
4063:=
4060:)
4057:x
4054:,
4049:e
4045:t
4041:,
4036:s
4032:t
4028:,
4025:s
4022:(
4017:t
4014:x
4011:e
3985:)
3982:)
3979:0
3976:,
3973:)
3966:s
3962:(
3959:a
3956:t
3953:,
3946:s
3942:(
3939:,
3933:,
3930:q
3927:(
3921:{
3897:X
3891:x
3871:)
3868:t
3865:,
3862:x
3859:(
3856:=
3805:.
3796:)
3793:)
3790:t
3787:d
3784:+
3779:e
3775:t
3771:,
3766:s
3762:t
3758:,
3755:s
3752:(
3749:,
3743:,
3740:q
3737:(
3714:]
3711:t
3708:d
3705:+
3702:t
3699:,
3696:t
3693:[
3685:=
3629:]
3624:u
3620:t
3616:,
3611:l
3607:t
3603:[
3600:,
3597:Z
3562:T
3555:t
3533:A
3529:Q
3522:)
3517:e
3513:t
3509:,
3504:s
3500:t
3496:,
3493:s
3490:(
3487:=
3484:q
3461:.
3452:)
3449:q
3446:,
3440:,
3437:q
3434:(
3412:]
3407:u
3403:t
3399:,
3394:l
3390:t
3386:[
3383:,
3380:Z
3347:N
3343:Q
3336:q
3314:A
3310:Q
3303:q
3281:N
3277:Q
3270:q
3250:Q
3242:]
3237:u
3233:t
3229:,
3224:l
3220:t
3216:[
3213:,
3210:Z
3199:Q
3182:.
3170:Q
3167:.
3162:M
3157:=
3152:A
3148:Q
3136:.
3124:}
3121:)
3118:0
3115:,
3112:)
3107:0
3103:s
3099:(
3096:a
3093:t
3090:,
3085:0
3081:s
3077:(
3074:{
3071:=
3066:0
3062:Q
3049:.
3037:}
3034:S
3022:s
3016:{
3013:=
3008:N
3004:Q
2981:N
2977:Q
2968:A
2964:Q
2960:=
2957:Q
2946:.
2928:Y
2921:X
2918:=
2915:Z
2884:,
2879:A
2875:Q
2871:,
2866:0
2862:Q
2858:,
2855:Q
2852:,
2849:Z
2841:G
2817:D
2812:=
2809:Q
2794:.
2782:}
2779:1
2776:,
2773:0
2770:{
2764:S
2758:X
2752:Q
2749::
2744:t
2741:x
2738:e
2710:}
2704:{
2698:)
2692:,
2689:0
2686:[
2683:=
2673:T
2649:s
2645:t
2622:e
2618:t
2597:s
2575:s
2571:t
2550:}
2547:)
2544:]
2539:s
2535:t
2531:,
2528:0
2525:[
2518:T
2514:(
2506:e
2502:t
2498:,
2488:T
2478:s
2474:t
2470:,
2467:S
2461:s
2457:|
2453:)
2448:e
2444:t
2440:,
2435:s
2431:t
2427:,
2424:s
2421:(
2418:{
2415:=
2412:Q
2382:,
2377:t
2374:n
2371:i
2363:,
2358:t
2355:x
2352:e
2344:,
2341:a
2338:t
2335:,
2330:0
2326:s
2322:,
2319:S
2316:,
2313:Y
2310:,
2307:X
2299:M
2251:.
2239:)
2230:s
2224:,
2218:,
2215:q
2212:(
2205:)
2202:s
2199:(
2193:=
2190:y
2187:,
2184:)
2181:s
2178:(
2175:a
2172:t
2169:=
2164:e
2160:t
2138:)
2135:)
2132:0
2129:,
2126:)
2123:s
2120:(
2115:t
2112:n
2109:i
2101:(
2098:,
2092:,
2089:q
2086:(
2080:{
2050:Y
2043:y
2023:)
2020:t
2017:,
2014:y
2011:(
2008:=
1957:.
1948:)
1945:)
1942:0
1939:,
1936:)
1933:x
1930:,
1927:q
1924:(
1919:t
1916:x
1913:e
1905:(
1902:,
1896:,
1893:q
1890:(
1868:X
1862:x
1842:)
1839:t
1836:,
1833:x
1830:(
1827:=
1776:.
1767:)
1764:)
1761:t
1758:d
1755:+
1750:e
1746:t
1742:,
1739:s
1736:(
1733:,
1727:,
1724:q
1721:(
1697:]
1694:t
1691:d
1688:+
1685:t
1682:,
1679:t
1676:[
1668:=
1612:]
1607:u
1603:t
1599:,
1594:l
1590:t
1586:[
1583:,
1580:Z
1545:T
1538:t
1516:A
1512:Q
1505:)
1500:e
1496:t
1492:,
1489:s
1486:(
1483:=
1480:q
1457:.
1448:)
1445:q
1442:,
1436:,
1433:q
1430:(
1408:]
1403:u
1399:t
1395:,
1390:l
1386:t
1382:[
1379:,
1376:Z
1343:N
1339:Q
1332:q
1310:A
1306:Q
1299:q
1277:N
1273:Q
1266:q
1246:Q
1238:]
1233:u
1229:t
1225:,
1220:l
1216:t
1212:[
1209:,
1206:Z
1195:Q
1167:.
1164:Q
1161:.
1156:M
1151:=
1146:A
1142:Q
1130:.
1118:}
1115:)
1112:0
1109:,
1104:0
1100:s
1096:(
1093:{
1090:=
1085:0
1081:Q
1068:.
1056:}
1053:S
1041:s
1035:{
1032:=
1027:N
1023:Q
1000:N
996:Q
987:A
983:Q
979:=
976:Q
965:.
947:Y
940:X
937:=
934:Z
903:,
898:A
894:Q
890:,
885:0
881:Q
877:,
874:Q
871:,
868:Z
860:G
833:M
803:)
797:,
794:0
791:[
788:=
784:T
761:e
757:t
736:}
733:)
730:]
727:)
724:s
721:(
718:a
715:t
712:,
709:0
706:[
699:T
695:(
687:e
683:t
679:,
676:S
670:s
666:|
662:)
657:e
653:t
649:,
646:s
643:(
640:{
637:=
634:Q
623:.
611:S
605:X
599:Q
596::
591:t
588:x
585:e
550:,
545:t
542:n
539:i
531:,
526:t
523:x
520:e
512:,
509:a
506:t
503:,
498:0
494:s
490:,
487:S
484:,
481:Y
478:,
475:X
467:M
394:)
388:(
376:)
370:(
365:)
361:(
347:.
321:)
315:(
310:)
306:(
296:·
289:·
282:·
275:·
252:.
219:)
213:(
208:)
204:(
194:·
187:·
180:·
173:·
156:.
134:.
105:)
99:(
94:)
90:(
86:.
52:)
48:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.