Time processes of time Petri nets
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
1996
Department
Major/Subject
Digitaalitekniikka
Mcode
Tik-79
Degree programme
Language
en
Pages
57
Series
Description
Supervisor
Ojala, LeoThesis advisor
Lilius, JohanKeywords
time Petri nets, aikapetriverkot, processes, prosessit, timing analysis, ajoituksen analysointi, partial order semantics, osittaisjärjestyssemantiikka, causality, kausaliteetti, net theory, verkkoteoria