Predikaattitransitioverkkojen paikkainvarianttien laskenta-algoritmien 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
1983
Department
Major/Subject
Digitaalitekniikka
Mcode
01.79
Degree programme
Language
fi
Pages
79
Series
Description
Supervisor
Ojala, LeoKeywords
Petri-verkot, predikaattitransitioverkot, S-invariantit, symbolinen tietojenkäsittely, polynomien suurin yhteinen tekijä