haku: @keyword Petri-verkot / yhteensä: 10
viite: 4 / 10
Tekijä: | Heljanko, Keijo |
Työn nimi: | Deadlock and Reachability Checking with Finite Complete Prefixes |
Lukkiuma- ja saavutettavuusominaisuuksien tarkastus käyttäen äärellisiä täydellisiä prefiksejä | |
Julkaisutyyppi: | Lisensiaatintutkimus |
Julkaisuvuosi: | 1999 |
Sivut: | vi + 79 Kieli: eng |
Koulu/Laitos/Osasto: | Tietotekniikan osasto |
Oppiaine: | Digitaalitekniikka (Tik-79) |
Valvoja: | Ojala, Leo |
Ohjaaja: | Niemelä, Ilkka |
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 T80 | Arkisto |
Avainsanat: | computer aided verification Petri nets finite complete prefixes net unfoldings model checking deadlocks reachability logic programs stable model semantics computational complexity tietokoneavusteinen verifiointi Petri-verkot äärelliset täydelliset prefiksit verkkojen suoristus mallintarkastus lukkiumat saavutettavuus logiikkaohjelmat stabiilien mallien semantiikka laskennallinen vaativuus |
ED: | 2000-01-11 |
INSSI tietueen numero: 15114
+ lisää koriin
INSSI