Limit search to available items
Author Dew, Robert Alan

Title Prototyping real-time systems using Petri net and object-oriented models / Robert Alan Dew
Published [Place of publication not identified] : [publisher not identified], 1992


Location Call no. Vol. Availability
 W'PONDS  004.33 Dew/Prt  AVAILABLE
Description xii, 280 leaves : illustrations ; 30 cm
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
Notes Submitted to the Dept. of Computing and Mathematics of the Faculty of Science, Deakin University
Thesis (M.Sc.)--Deakin University, Victoria, 1992
Bibliography Bibliography: leaves 275-280
Subject Computer simulation.
Petri nets -- Computer simulation.
Genre/Form Academic theses.
Author Deakin University. Department of Computing and Mathematics
Deakin University. Faculty of Sciences