You are not logged in.
Openly accessible

Prototyping real-time systems using Petri net and object-oriented models

Dew, Robert Alan. 1992, Prototyping real-time systems using Petri net and object-oriented models, M.Sc. thesis, Dept. of Computing and Mathematics, Deakin University.

Attached Files
Name Description MIMEType Size Downloads
dew-prototypingrealtime-1992.pdf Connect to Thesis application/pdf 11.01MB 165

Title Prototyping real-time systems using Petri net and object-oriented models
Author Dew, Robert Alan.
Institution Deakin University
School Dept. of Computing and Mathematics
Faculty Faculty of Sciences
Degree name M.Sc.
Date submitted 1992
Keyword(s) Petri nets - Computer simulation
Computer simulation
Summary The objective of the research for this thesis is to develop techniques in order to build an executable model of a real-time system. This model is to be used early in the development of the system not only to detect errors in the specification of the system but also to validate expectations of the developer as to the operation of the system. A graphical specification of a real-time system called the transformation schema was chosen to be used to build the model. Two executable models of a real-time system are described.
Language eng
Description of original xii, 280 leaves : ill. ; 30 cm.
Dewey Decimal Classification 004.33
Persistent URL http://hdl.handle.net/10536/DRO/DU:30027539

Connect to link resolver
 
Unless expressly stated otherwise, the copyright for items in DRO is owned by the author, with all rights reserved.

Every reasonable effort has been made to ensure that permission has been obtained for items included in DRO. If you believe that your rights have been infringed by this repository, please contact drosupport@deakin.edu.au.

Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 0 times in TR Web of Science
Scopus Citation Count Cited 0 times in Scopus
Google Scholar Search Google Scholar
Access Statistics: 270 Abstract Views, 165 File Downloads  -  Detailed Statistics
Created: Thu, 01 Apr 2010, 16:01:21 EST

Every reasonable effort has been made to ensure that permission has been obtained for items included in DRO. If you believe that your rights have been infringed by this repository, please contact drosupport@deakin.edu.au.