Efficient Detection of Deadlocks in Petri Nets

Loading...
Thumbnail Image

URL

Journal Title

Journal ISSN

Volume Title

Helsinki University of Technology | Licentiate thesis
Checking the digitized thesis and permission for publishing
Instructions for the author

Date

Major/Subject

Mcode

Tik-79

Degree programme

Language

en

Pages

63

Series

Description

Supervisor

Ojala, Leo

Thesis advisor

Tiusanen, Mikko

Keywords

Other note

Citation