Towards Automatic Interpretation of S-Invariants of Predicate/Transition Nets

No Thumbnail Available
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
1988
Major/Subject
Digitaalitekniikka
Mcode
Tik-79
Degree programme
Language
en
Pages
48
Series
Description
Supervisor
Ojala, Leo
Thesis advisor
Genrich, Hartmann J.
Keywords
modal logic, predicate/transition nets, S-invariants, system properties
Other note
Citation