KIELER
  1. KIELER

models-public

Public
Parent directory..
File 00-simpletransition-signal.elkt
File 01-hierarchycommunication.elkt
File 02-hierarchyimmediatecommunication.elkt
File 03-goodcycle.elkt
File 04-simpletransition-inputoutput.elkt
File 06-simpletransition-inputoutput-immediate.elkt
File 07-abo.elkt
File 09-simple-normaltermination-transformed.elkt
File 10-simple-normaltermination.elkt
File 100-local-signal-trap-immediate-dependency.elkt
File 101-local-signal-trap-immediate-dependency-hierarchy.elkt
File 102-local-signal-trap-immediate-dependency-hierarchy-during.elkt
File 104-dvd-player.elkt
File 105-weakabort-hierarchy-dependency.elkt
File 106-weakabort-hierarchy-dependency2.elkt
File 107-weakabort-hierarchy-anomaly-sccokay.elkt
File 108-nodependencyrepresentation.elkt
File 109-local-signal-trap-immediate-no-dependency-representation-initial.elkt
File 11-count-delays.elkt
File 110-local-signal-trap-immediate-dependency-hierarchy-during2.elkt
File 111-weakaborts-wrong-dependency-fromEtoC.elkt
File 112-abswo.elkt
File 113-absync.elkt
File 114-broadcast.elkt
File 115-broadcast2.elkt
File 116-broadcast3.elkt
File 117-chain.elkt
File 118-cyclic-dependency-reject.elkt
File 119-decos-monitor.elkt
File 12-count-delays-transformed-with-host-code.elkt
File 12-seqcon-simple.elkt
File 120-elevator.elkt
File 121-goodcycle.elkt
File 122-goodcycle2.elkt
File 123-nestedbroadcast.elkt
File 124-nestedbroadcast2.elkt
File 125-non-deterministic.elkt
File 126-non-reactive.elkt
File 127-outputs-in-trigger.elkt
File 128-preemption.elkt
File 129-priorities.elkt
File 13-seqcon-hierarchy.elkt
File 130-schizo.elkt
File 131-surprisingly-logical-correct.elkt
File 132-tokenring.elkt
File 133-tokenring-excerpt.elkt
File 134-pre-transformed.elkt
File 135-valued-input-signals.elkt
File 136-traffic-light.elkt
File 137-pre-pure-signal.elkt
File 138-pre-valued-signal.elkt
File 139-history-local-valued-signal.elkt
File 14-weakabort-hierarchy.elkt
File 140-pre-valued-signal.elkt
File 141-three-regions-normaltermination.elkt
File 142-dac-aborts.elkt
File 143-dac-nested-aborts.elkt
File 144-dac-immediate-aborts.elkt
File 145-immediate-normaltermination.elkt
File 147-chain-excerpt-normaltermination-reentry.elkt
File 148-transformed-pre-referenced-signals-no-signal-dependency.elkt
File 149-transformed-pre-referenced-signals-no-signal-dependency2.elkt
File 150-pre-referenced-signals-no-signal-dependency-diss.elkt
File 150-pre-referenced-signals-no-signal-dependency2.elkt
File 151-pre-referenced-signals-no-signal-dependency.elkt
File 152-back-and-forth-scheduling.elkt
File 154-count-delays.elkt
File 155-surfacedepth.elkt
File 156-surfacedepth-advanced.elkt
File 17-count-delays-hierarchy.elkt
File 18-valued-signals.elkt
File 19-suspend.elkt
File 20-history.elkt
File 21-suspend2.elkt
File 22-history-mixed-with-nonhistory.elkt
File 23-history-hierarchical.elkt
File 24-suspend-hierarchical.elkt
File 25-history-simple.elkt
File 27-reincarnation.elkt
File 28-entry-actions.elkt
File 30-exit-actions.elkt
File 31-entryduringexit-action-of-initial-state.elkt
File 33-valued-signals-test.elkt
File 34-valued-signals-test2.elkt
File 35-valued-signals-bool-test.elkt
File 36-valued-signals-bool-test2.elkt
File 38-exit-actions-hierarchy.elkt
File 39-pre-referenced-signals-no-signal-dependency.elkt
File 40-entry-actions-immediate-strong-aborted.elkt
File 41-entry-actions-initialstate-immediate-strong-aborted.elkt
File 42-history-immediate-with-exit-action.elkt
File 44-initial-states-with-hierarchy.elkt
File 45-initial-states-with-hierarchy2.elkt
File 46-initial-states-with-hierarchy3.elkt
File 48-suspend-immediate.elkt
File 50-initial-states-signal-dependencies3.elkt
File 51-initial-immediate-with-hierarchy-and-concurrency.elkt
File 52-exit-actions-charles-andre-paper-excerpt.elkt
File 53-exit-actions-charles-andre-paper-excerpt.elkt
File 54-abro-with-terminated-action.elkt
File 55-sequential-constructiveness-causality.elkt
File 56-sequential-constructiveness-causality-exit-action.elkt
File 57-causality-problem-reject.elkt
File 58-hostcode.elkt
File 59-localsignals.elkt
File 64-sctest-nested-abort-waa.elkt
File 65-sctest-nested-abort-waw.elkt
File 66-sctest-nested-abort-wwa.elkt
File 67-sctest-nested-abort-www.elkt
File 67-sctest-reactor-control.elkt
File 68-sctest-tcint-debug01.elkt
File 69-sctest-tcint-debug02.elkt
File 70-sctest-wrist-watch-button.elkt
File 71-sequential-constructiveness-causality-concurrent-reject.elkt
File 73-ptolemy-concurrent-and-hierarchical-read-write.elkt
File 74-concurrent-and-hierarchical-write-dependency-weak-aborted.elkt
File 75-concurrent-and-hierarchical-write-dependency-weak-aborted-immediate.elkt
File 76-ptolemy-concurrent-and-hierarchical-read-write2.elkt
File 77-several-same-state-ids-empty-region-ids.elkt
File 78-exit-actions-strongreset-outside.elkt
File 79-exit-actions-strongreset-outside-left.elkt
File 80-exit-actions-strongreset-outside-left-immediatechain.elkt
File 81-preemption-basic-test.elkt
File 82-preemption-strong-prio-after-wakeup.elkt
File 84-sctest-all-transitions.elkt
File 87-sctest-surf-depth.elkt
File 88-sctest-entry-inside-action.elkt
File 89-sctest-filtered-sr.elkt
File 91-sctest-hierarchy-hierarchy.elkt
File 92-sctest-pre.elkt
File 93-sctest-prime-factor.elkt
File 97-sctest-signal-dependency-chain.elkt
File 99-sctest-transition-priorities.elkt
File AO.elkt
File Pretest.elkt