• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 128
  • 121
  • 42
  • 26
  • 12
  • 6
  • 4
  • 4
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 383
  • 383
  • 120
  • 117
  • 53
  • 52
  • 52
  • 50
  • 45
  • 43
  • 39
  • 38
  • 37
  • 33
  • 32
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

The modelling and analysis of command and control decision processes using extended time petri nets

Bowden, Fred D. J. January 2001 (has links) (PDF)
Bibliography: leaves 177-191. This thesis uses a new type of extended time Petri net to model and analyse command and control decision processes. A comprehensive review of existing time Petri net structures is given. This concludes with the introduction of time Petri net structure that incorporates the most commonly used time structures. This extended time Petri net structure is then used in the definition of the basic modelling blocks required to model command and control decision processes. This basic modelling block forms the basis of the direct analysis techniques that are introduced in the thesis.
2

The modelling and analysis of command and control decision processes using extended time petri nets.

Bowden, Fred D. J. January 2001 (has links)
Effective command and control is crucial to both military and non-military environments. Accurate representations of the processes associated with the inter and intra activities of nodes or agencies of such systems is essential in the analysis of command and control. One of the most important things is to be able to model the decision processes. These are the parts of the system that make decisions and then guide the direction of other elements in the system overall. This thesis uses a new type of extended time Petri net to model and analyse command and control decision processes. A comprehensive review of existing time Petri net structures is given. This concludes with the introduction of a time Petri net structure that incorporates the most commonly used time structures. This extended time Petri net structure is then used in the definition of the basic modelling blocks required to model command and control decision processes. This basic modelling block forms the basis of the direct analysis techniques that are introduced in the thesis. Due to the transient nature of the systems being modelled and the measures of interest a new type of measure is introduced, the mean conditional first hitting reward. This measure does not currently appear to be part of the stochastic process literature. Explicit procedures are given to determine the hitting probabilities and mean conditional first hitting reward for decision process models and discrete, continuous and semi-Markov chains. Finally the some extensions of the decision process sub-class are considered. / Thesis (Ph.D.) - University of Adelaide, Dept. of Applied Mathematics, 2001
3

The modelling and analysis of command and control decision processes using extended time petri nets /

Bowden, Fred D. J. January 2001 (has links) (PDF)
Thesis (Ph.D)-- University of Adelaide, Dept. of Applied Mathematics, 2001. / Bibliography: leaves 177-191.
4

A hardware-software co-design system for embedded real-time applications

Cavalcante, Sergio Vanderlei January 1997 (has links)
No description available.
5

The use of Petri Nets to Personal process modeling and verification

Chen, Lin-Ya 27 July 2005 (has links)
A personal process is a coordination of personal activities, each requiring a joint effort between a user and an enacting organization. In this thesis, we model a personal process using Petri Nets to describe both the control flow and data flow pertaining to the personal process. We redefine the correctness of a personal process and address the verification method based on Petri Nets. In our architecture, we add an online execution engine for the user to execute and verify the correctness of a personal process in real time¡@through the Internet. A personal process can also be managed by a personal workflow management system (PWFMS) running on a handheld device. Because of the strict limitations on their computation power and battery consumptions, we support verification only when the wireless connection is available.
6

Petri nets and their applications

Jin, Wei January 1991 (has links)
Petri nets are named in honor of Dr. Carl A. Petri for his famous Ph.D dissertation of general net theory in 1962. A substantial amount of work utilizing and modifying the Petri nets has been done since then, and they have turned out to be very useful in the study of asynchronous concurrent systems. The liveness and reachability problems are considered to be some of the major problems in Petri net theory.Since the structure of a Petri net can be regarded as sets of places and transitions form a graphical point of view, this thesis is concerned with utilizing the results of graph theory to investigate the liveness in terms of deadlock problems of a special subclass of Petri nets, free-choice Petri nets. As a subclass of Petri nets, the class of free-choice Petri nets possesse relatively strong analysis properties. This is especially true of complete free-choice Petri nets. We show in particular that any system which can be modeled by a general Petri net can also be modeled by a free-choice Petri net. / Department of Computer Science
7

Automated translation of dynamic programming problems to Java code and their solution via an intermediate Petri net representation

Mauch, Holger January 2005 (has links)
Thesis (Ph. D.)--University of Hawaii at Manoa, 2005. / Includes bibliographical references (leaves 197-202). / Also available by subscription via World Wide Web / xi, 202 leaves, bound ill. 29 cm
8

Modelling and analysis of railway network control logic using coloured petri nets

Janczura, Chris January 1998 (has links)
Thesis (PhD)--University of South Australia, 1998
9

Modelling and analysis of railway network control logic using coloured petri nets

Janczura, Chris January 1998 (has links)
Thesis (PhD)--University of South Australia, 1998
10

Automated translation of dynamic programming problems to Java code and their solution via an intermediate Petri net representation

Mauch, Holger. January 2005 (has links)
Thesis (Ph. D.)--University of Hawaii at Manoa, 2005. / Includes bibliographical references (leaves 197-202).

Page generated in 0.0589 seconds