PETRI-verkkoanalysaattori PRENA:n laajennuksen suunnittelu
No Thumbnail Available
URL
Journal Title
Journal ISSN
Volume Title
Helsinki University of Technology |
Diplomityö
Checking the digitized thesis and permission for publishing
Instructions for the author
Instructions for the author
Authors
Date
1989
Department
Major/Subject
Digitaalitekniikka
Mcode
Tik-79
Degree programme
Language
fi
Pages
60
Series
Description
Supervisor
Heinonen, RaunoKeywords
distributed systems, hajautetut järjestelmät, Petri-nets, Petri-verkko, PrT-nets, PrT-verkot, reachability analysis, saavutettavuusanalyysi, coverability graph, peittävyysgraafi