Show simple item record

dc.contributor.advisorDavis, Daniel
dc.contributor.authorKarrasch, Klaus
dc.dateDecember 1987
dc.date.accessioned2012-11-27T00:28:52Z
dc.date.available2012-11-27T00:28:52Z
dc.date.issued1987-12
dc.identifier.urihttp://hdl.handle.net/10945/22814
dc.description.abstractWith 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.
dc.description.urihttp://archive.org/details/theformalspecifi1094522814
dc.format.extent128 p.en_US
dc.language.isoen_US
dc.rightsCopyright is reserved by the copyright owner
dc.subject.lcshComputer scienceen_US
dc.titleThe formal specification of computer systems using Petri Nets.en_US
dc.typeThesisen_US
dc.contributor.secondreaderBerzins, Valdis
dc.contributor.corporateNaval Postgraduate School (U.S.)
dc.contributor.departmentComputer Science
dc.subject.authorformal specificationen_US
dc.subject.authorPetri neten_US
dc.subject.authorabstraction of computer resourcesen_US
dc.subject.authortiming of computer systemsen_US
dc.description.serviceLieutenant, Federal German Navy
etd.thesisdegree.nameM.S. in Computer Scienceen_US
etd.thesisdegree.levelMastersen_US
etd.thesisdegree.disciplineComputer Scienceen_US
etd.thesisdegree.grantorNaval Postgraduate Schoolen_US
dc.description.distributionstatementApproved for public release; distribution is unlimited.


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record