The Design of an Extension of the PRENA-analyser

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