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.

Habilitation à diriger des recherches : Informatique : Rennes 1 : 1999. / Bibliogr. p.67-71.

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

Thesis (Ph.D)-- University of Adelaide, Dept. of Applied Mathematics, 2001. / Bibliography: leaves 177-191.

München, Techn. Univ., Diss., 2000. / Computerdatei im Fernzugriff.

München, Techn. Univ., Diss., 2000. / Computerdatei im Fernzugriff.

Berlin, Humboldt-Universiẗat, Diss., 2002.

München, Techn. Universiẗat, Diss., 2000.

Oldenburg, Universiẗat, Diss., 1995.

Orientador: Aleardo Manacero Junior / Banca: Eduardo Marques / Banca: Alexandre César Rodrigues da Silva / Resumo: O projeto de sistemas digitais é, na maioria das vezes, uma tarefa complexa e que consome muito tempo do projetista. Não se concebe atualmente que esses projetos sejam inteiramente realizados sem que os sistemas projetados sejam modelados e simulados, procurando diminuir o custo de projeto. Entre as técnicas em uso para a geração de modelos estão as baseadas em redes de Petri. O problema com redes de Petri é que existe uma grande variedade de diferentes técnicas para modelar sistemas equivalentes e, além disso, o tratamento de tempo é feito de formas muito distintas. Nesse trabalho se apresentam algumas técnicas de redes de Petri que permitem o tratamento de tempo e se faz a comparação entre as mesmas quando aplicadas na modelagem de um pipeline. Dentre as técnicas examinadas está incluída uma rede híbrida, na qual se propõe a mistura não tradicional de outras técnicas mais básicas, buscando melhores resultados do que os obtidos com tais redes. Apresentam-se resultados obtidos com um protótipo de um simulador especialmente projetado para ser capaz de simular as redes de Petri híbridas propostas nesse trabalho, assim como cada uma das técnicas individuais nelas utilizadas. / Abstract: The design of a digital system often is a complex and time consuming task. Nowadays it is unconceivable that these designs would be entirely done without modeling and simulation, in order to save design costs. Among the modeling techniques in use there are the Petri nets models. The drawback with Petri nets is that there is a wide range of diferent techniques to perform the modeling of equivalent systems and, moreover, the time manipulation is performed through very distinct approaches. Some Petri net techniques that deal with time are presented in this work. Comparisons between these techniques are done through the modeling of a pipeline. Among the techniques examined there is a hybrid one, that is propposed as a composition of the basic techniques, aiming the improvement of the modeling results. Results provided by a prototype of a Petri Net simulator built to simulate the hybrid model, and its component techniques, are presented. / Mestre