The formal specification of computer systems using Petri Nets.
Loading...
Authors
Karrasch, Klaus
Subjects
formal specification
Petri net
abstraction of computer resources
timing of computer systems
Petri net
abstraction of computer resources
timing of computer systems
Advisors
Davis, Daniel
Date of Issue
1987-12
Date
December 1987
Publisher
Language
en_US
Abstract
With the introduction of formal specification of
abstracted computer resources, both physical and logical,
there is the possibility that a major step forward can be
made toward developing a methodology for reducing the
portability and reusability costs of computing system
components. Still, the current methodology is only concerned
with the static functional properties of resources and not
their timing properties. This places limitations on the
generality of the method. This study describes a way to
formally specify the timing of computer systems by combining
ideas of both semantic algebras and Petri Nets.
Type
Thesis
Description
Series/Report No
Department
Computer Science
Organization
Naval Postgraduate School (U.S.)
Identifiers
NPS Report Number
Sponsors
Funder
Format
128 p.
Citation
Distribution Statement
Approved for public release; distribution is unlimited.
Rights
Copyright is reserved by the copyright owner