haku: @keyword hajautetut järjestelmät / yhteensä: 38
viite: 36 / 38
Tekijä: | Laine, Antti |
Työn nimi: | PETRI-verkkoanalysaattori PRENA:n laajennuksen suunnittelu |
The Design of an Extension of the PRENA-analyser | |
Julkaisutyyppi: | Diplomityö |
Julkaisuvuosi: | 1989 |
Sivut: | 60 Kieli: fin |
Koulu/Laitos/Osasto: | Sähkötekniikan osasto |
Oppiaine: | Digitaalitekniikka (Tik-79) |
Valvoja: | Heinonen, Rauno |
Ohjaaja: | |
OEVS: | Sähköinen arkistokappale on luettavissa Aalto Thesis Databasen kautta.
Ohje Digitaalisten opinnäytteiden lukeminen Aalto-yliopiston Harald Herlin -oppimiskeskuksen suljetussa verkossaOppimiskeskuksen suljetussa verkossa voi lukea sellaisia digitaalisia ja digitoituja opinnäytteitä, joille ei ole saatu julkaisulupaa avoimessa verkossa. Oppimiskeskuksen yhteystiedot ja aukioloajat: https://learningcentre.aalto.fi/fi/harald-herlin-oppimiskeskus/ Opinnäytteitä voi lukea Oppimiskeskuksen asiakaskoneilla, joita löytyy kaikista kerroksista.
Kirjautuminen asiakaskoneille
Opinnäytteen avaaminen
Opinnäytteen lukeminen
Opinnäytteen tulostus
|
Sijainti: | P1 Ark S80 | Arkisto |
Avainsanat: | distributed systems Petri-nets PrT-nets reachability analysis coverability graph hajautetut järjestelmät Petri-verkko PrT-verkot saavutettavuusanalyysi peittävyysgraafi |
ED: | 1994-04-29 |
INSSI tietueen numero: 4717
+ lisää koriin
INSSI