Executing large scale colored Petri nets by using Maude : simulating railroad systems
Joakin Bjørk
Bok Engelsk 2006 Joakim Bjørk
| Utgitt | Oslo : J. Bjørk , 2006
|
|---|---|
| Omfang | IV, 91 s. : ill. + 1 CD-ROM i lomme
|
| Opplysninger | 1 CD-ROM i lomme. - Hovedoppgave i informatikk (Cand.scient.) - Universitetet i Oslo, 2006
|
| Emner | Databehandling
Jernbane : (NO-TrBIB)REAL011006 Jernbanesystemer Petrinett Vis mer... Trafikkanalyse
Trafikksimulering Trafikksystemer Transportsystemer : (NO-TrBIB)REAL010937 informatikk maude petri-nett jernbane simulering |
