Learning Centre

The Design of an Extension of the PRENA-analyser

 |  Login

Show simple item record

dc.contributor Aalto-yliopisto fi
dc.contributor Aalto University en
dc.contributor.author Laine, Antti
dc.date.accessioned 2020-12-02T19:15:59Z
dc.date.available 2020-12-02T19:15:59Z
dc.date.issued 1989
dc.identifier.uri https://aaltodoc.aalto.fi/handle/123456789/78445
dc.format.extent 60
dc.language.iso fi en
dc.title The Design of an Extension of the PRENA-analyser en
dc.title PETRI-verkkoanalysaattori PRENA:n laajennuksen suunnittelu fi
dc.contributor.school Teknillinen korkeakoulu fi
dc.contributor.school Helsinki University of Technology en
dc.contributor.department Sähkötekniikan osasto fi
dc.subject.keyword distributed systems en
dc.subject.keyword hajautetut järjestelmät fi
dc.subject.keyword Petri-nets en
dc.subject.keyword Petri-verkko fi
dc.subject.keyword PrT-nets en
dc.subject.keyword PrT-verkot fi
dc.subject.keyword reachability analysis en
dc.subject.keyword saavutettavuusanalyysi fi
dc.subject.keyword coverability graph en
dc.subject.keyword peittävyysgraafi fi
dc.identifier.urn URN:NBN:fi:aalto-2020120237284
dc.programme.major Digitaalitekniikka fi
dc.programme.mcode Tik-79 fi
dc.type.ontasot Master's thesis en
dc.type.ontasot Pro gradu -tutkielma fi
dc.contributor.supervisor Heinonen, Rauno
local.aalto.openaccess no
local.aalto.digifolder Aalto_35546
dc.rights.accesslevel closedAccess
local.aalto.idinssi 4717
dc.type.publication masterThesis
dc.type.okm G2 Pro gradu, diplomityö
local.aalto.digiauth ask

Files in this item

Files Size Format View

There are no open access files associated with this item.

This item appears in the following Collection(s)

Show simple item record

Search archive

Advanced Search

article-iconSubmit a publication