123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400 |
- __ Current Time: 0.00 __________________________________________
- INITIAL CONDITIONS in model <Nested.Generator>
- Initial State: 1
- Next scheduled internal transition at time 1.00
- INITIAL CONDITIONS in model <Nested.NProcessor>
- Initial State: inf
- Next scheduled internal transition at time 1.00
- __ Current Time: 1.00 __________________________________________
- CONFLUENT TRANSITION in model <Nested.NProcessor>
- Input Port Configuration:
- port <inport>:
- Eventsize = 1
- New State: 1
- Output Port Configuration:
- port <outport>:
- Eventsize = 5
- Next scheduled internal transition at time 2.00
- INTERNAL TRANSITION in model <Nested.Generator>
- New State: 1
- Output Port Configuration:
- port <outport>:
- Eventsize = 1
- Next scheduled internal transition at time 2.00
- __ Current Time: 2.00 __________________________________________
- CONFLUENT TRANSITION in model <Nested.NProcessor>
- Input Port Configuration:
- port <inport>:
- Eventsize = 1
- New State: 1
- Output Port Configuration:
- port <outport>:
- Eventsize = 1
- Next scheduled internal transition at time 4.00
- INTERNAL TRANSITION in model <Nested.Generator>
- New State: 1
- Output Port Configuration:
- port <outport>:
- Eventsize = 1
- Next scheduled internal transition at time 3.00
- __ Current Time: 3.00 __________________________________________
- EXTERNAL TRANSITION in model <Nested.NProcessor>
- Input Port Configuration:
- port <inport>:
- Eventsize = 1
- New State: 1
- Next scheduled internal transition at time 6.00
- INTERNAL TRANSITION in model <Nested.Generator>
- New State: 1
- Output Port Configuration:
- port <outport>:
- Eventsize = 1
- Next scheduled internal transition at time 4.00
- __ Current Time: 4.00 __________________________________________
- EXTERNAL TRANSITION in model <Nested.NProcessor>
- Input Port Configuration:
- port <inport>:
- Eventsize = 1
- New State: 1
- Next scheduled internal transition at time 8.00
- INTERNAL TRANSITION in model <Nested.Generator>
- New State: 1
- Output Port Configuration:
- port <outport>:
- Eventsize = 1
- Next scheduled internal transition at time 5.00
- __ Current Time: 5.00 __________________________________________
- EXTERNAL TRANSITION in model <Nested.NProcessor>
- Input Port Configuration:
- port <inport>:
- Eventsize = 1
- New State: 1
- Next scheduled internal transition at time 10.00
- INTERNAL TRANSITION in model <Nested.Generator>
- New State: 1
- Output Port Configuration:
- port <outport>:
- Eventsize = 1
- Next scheduled internal transition at time 6.00
- __ Current Time: 6.00 __________________________________________
- EXTERNAL TRANSITION in model <Nested.NProcessor>
- Input Port Configuration:
- port <inport>:
- Eventsize = 1
- New State: 1
- Next scheduled internal transition at time 12.00
- INTERNAL TRANSITION in model <Nested.Generator>
- New State: 1
- Output Port Configuration:
- port <outport>:
- Eventsize = 1
- Next scheduled internal transition at time 7.00
- __ Current Time: 7.00 __________________________________________
- EXTERNAL TRANSITION in model <Nested.NProcessor>
- Input Port Configuration:
- port <inport>:
- Eventsize = 1
- New State: 1
- Next scheduled internal transition at time 14.00
- INTERNAL TRANSITION in model <Nested.Generator>
- New State: 1
- Output Port Configuration:
- port <outport>:
- Eventsize = 1
- Next scheduled internal transition at time 8.00
- __ Current Time: 8.00 __________________________________________
- EXTERNAL TRANSITION in model <Nested.NProcessor>
- Input Port Configuration:
- port <inport>:
- Eventsize = 1
- New State: 1
- Next scheduled internal transition at time 16.00
- INTERNAL TRANSITION in model <Nested.Generator>
- New State: 1
- Output Port Configuration:
- port <outport>:
- Eventsize = 1
- Next scheduled internal transition at time 9.00
- __ Current Time: 9.00 __________________________________________
- EXTERNAL TRANSITION in model <Nested.NProcessor>
- Input Port Configuration:
- port <inport>:
- Eventsize = 1
- New State: 1
- Next scheduled internal transition at time 18.00
- INTERNAL TRANSITION in model <Nested.Generator>
- New State: 1
- Output Port Configuration:
- port <outport>:
- Eventsize = 1
- Next scheduled internal transition at time 10.00
- __ Current Time: 10.00 __________________________________________
- EXTERNAL TRANSITION in model <Nested.NProcessor>
- Input Port Configuration:
- port <inport>:
- Eventsize = 1
- New State: 1
- Next scheduled internal transition at time 20.00
- INTERNAL TRANSITION in model <Nested.Generator>
- New State: 1
- Output Port Configuration:
- port <outport>:
- Eventsize = 1
- Next scheduled internal transition at time 11.00
- __ Current Time: 11.00 __________________________________________
- EXTERNAL TRANSITION in model <Nested.NProcessor>
- Input Port Configuration:
- port <inport>:
- Eventsize = 1
- New State: 1
- Next scheduled internal transition at time 22.00
- INTERNAL TRANSITION in model <Nested.Generator>
- New State: 1
- Output Port Configuration:
- port <outport>:
- Eventsize = 1
- Next scheduled internal transition at time 12.00
- __ Current Time: 12.00 __________________________________________
- EXTERNAL TRANSITION in model <Nested.NProcessor>
- Input Port Configuration:
- port <inport>:
- Eventsize = 1
- New State: 1
- Next scheduled internal transition at time 24.00
- INTERNAL TRANSITION in model <Nested.Generator>
- New State: 1
- Output Port Configuration:
- port <outport>:
- Eventsize = 1
- Next scheduled internal transition at time 13.00
- __ Current Time: 13.00 __________________________________________
- EXTERNAL TRANSITION in model <Nested.NProcessor>
- Input Port Configuration:
- port <inport>:
- Eventsize = 1
- New State: 1
- Next scheduled internal transition at time 26.00
- INTERNAL TRANSITION in model <Nested.Generator>
- New State: 1
- Output Port Configuration:
- port <outport>:
- Eventsize = 1
- Next scheduled internal transition at time 14.00
- __ Current Time: 14.00 __________________________________________
- EXTERNAL TRANSITION in model <Nested.NProcessor>
- Input Port Configuration:
- port <inport>:
- Eventsize = 1
- New State: 1
- Next scheduled internal transition at time 28.00
- INTERNAL TRANSITION in model <Nested.Generator>
- New State: 1
- Output Port Configuration:
- port <outport>:
- Eventsize = 1
- Next scheduled internal transition at time 15.00
- __ Current Time: 15.00 __________________________________________
- EXTERNAL TRANSITION in model <Nested.NProcessor>
- Input Port Configuration:
- port <inport>:
- Eventsize = 1
- New State: 1
- Next scheduled internal transition at time 30.00
- INTERNAL TRANSITION in model <Nested.Generator>
- New State: 1
- Output Port Configuration:
- port <outport>:
- Eventsize = 1
- Next scheduled internal transition at time 16.00
- __ Current Time: 16.00 __________________________________________
- EXTERNAL TRANSITION in model <Nested.NProcessor>
- Input Port Configuration:
- port <inport>:
- Eventsize = 1
- New State: 1
- Next scheduled internal transition at time 32.00
- INTERNAL TRANSITION in model <Nested.Generator>
- New State: 1
- Output Port Configuration:
- port <outport>:
- Eventsize = 1
- Next scheduled internal transition at time 17.00
- __ Current Time: 17.00 __________________________________________
- EXTERNAL TRANSITION in model <Nested.NProcessor>
- Input Port Configuration:
- port <inport>:
- Eventsize = 1
- New State: 1
- Next scheduled internal transition at time 34.00
- INTERNAL TRANSITION in model <Nested.Generator>
- New State: 1
- Output Port Configuration:
- port <outport>:
- Eventsize = 1
- Next scheduled internal transition at time 18.00
- __ Current Time: 18.00 __________________________________________
- EXTERNAL TRANSITION in model <Nested.NProcessor>
- Input Port Configuration:
- port <inport>:
- Eventsize = 1
- New State: 1
- Next scheduled internal transition at time 36.00
- INTERNAL TRANSITION in model <Nested.Generator>
- New State: 1
- Output Port Configuration:
- port <outport>:
- Eventsize = 1
- Next scheduled internal transition at time 19.00
- __ Current Time: 19.00 __________________________________________
- EXTERNAL TRANSITION in model <Nested.NProcessor>
- Input Port Configuration:
- port <inport>:
- Eventsize = 1
- New State: 1
- Next scheduled internal transition at time 38.00
- INTERNAL TRANSITION in model <Nested.Generator>
- New State: 1
- Output Port Configuration:
- port <outport>:
- Eventsize = 1
- Next scheduled internal transition at time 20.00
- __ Current Time: 20.00 __________________________________________
- EXTERNAL TRANSITION in model <Nested.NProcessor>
- Input Port Configuration:
- port <inport>:
- Eventsize = 1
- New State: 1
- Next scheduled internal transition at time 40.00
- INTERNAL TRANSITION in model <Nested.Generator>
- New State: 1
- Output Port Configuration:
- port <outport>:
- Eventsize = 1
- Next scheduled internal transition at time 21.00
|