Thesis (Ph.D.) --Murdoch University, 2004. / Thesis submitted to the Division of Science and Engineering. Includes bibliographical references.

Thesis (Ph. D.)--University of Missouri-Columbia, 1996. / Typescript. Vita. Includes bibliographical references (leaves 217-223). Also available on the Internet.

Thesis (Ph. D.)--University of Missouri-Columbia, 1996. / Typescript. Vita. Includes bibliographical references (leaves 217-223). Also available on the Internet.

Thesis (Ph. D.)--Carleton University, 1992. / Also available in electronic format on the Internet.

Thesis (M. Sc.)--Carleton University, 1993. / Includes bibliographical references. Also available in electronic format on the Internet.

Thesis (M.S.)--Villanova University, 2007. / Computer Science Dept. Includes bibliographical references.

R. Paul Wiley, Robert R. Tenney. / Bibliography: p. 34-35. / "March 1985." "24th CDC and Transactions" / "ONR/N00014-77-C-0532 (NR 041-519)" "ONR/N00014-84-K-0519 (NR 649-003)"

The thesis describes a method for the design and implementation of manufacturing control software using structured Petri nets. An earlier design method is presented from which a more formal approach is developed, and a definition for structured Petri nets is given. This definition is then compared to other classes of Petri net found in the literature. A comparison is also made between the proposed design method and other methods described in the literature. The structured Petri nets are then used to create a control structure, which is shown to have properties that allow the detection and diagnosis of faults originating both in the hardware and the software of the system. A detailed discussion is also presented concerning the implementation of structured Petri nets on various types of manufacturing controller and on general-purpose computers. In particular, results are presented from experiments with various implementation methods on programmable logic controllers. Conclusions are then drawn on the various aspects of the work and details of further research possibilities are described.

Operational support as an area of process mining aims to predict the temporal performance of individual cases and the overall business process. Although seasonal effects, delays and performance trends are well-known to exist for business processes, there is up until now no prediction model available that explicitly captures this. In this paper, we introduce time series Petri net models. These models integrate the control flow perspective of Petri nets with time series prediction. Our evaluation on the basis of our prototypical implementation demonstrates the merits of this model in terms of better accuracy in the presence of time series effects.

O presente trabalho consiste na apresentação da implementação de um software projetado para auxiliar o ensino de redes de Petri de alto nível. A partir da fundamentação sobre o assunto desenvolvida em cursos introdut6rios de modelagem de sistemas com redes de Petri foi especificado um sistema para ser usado em sala de aula. O sistema desenvolvido permite a demonstração das características gráficas e da semântica de alguns modelos tradicionais de redes de Petri, tais como redes condicao/evento, redes predicado-transição e redes coloridas. Redes de baixo nivel tambem podem ser demonstradas. O software foi elaborado de forma a permitir a utilização de redes já definidas em disquete. O usuário pode também definir novas redes utilizando o editor gráfico/compilador ou se valer de uma linguagem textual de baixo nível para descrever as redes. Após a obtenção da rede desejada, é possível a realização de demonstrações, simulando o funcionamento da mesma. O software permite ainda a execução de passos, o funcionamento "para trás" da rede e identifica, a cada estado alcançado, quais alterações estão habilitadas e quais estão em conflito. Um comando permite obter o caminho entre duas marcações da rede. O usuário pode selecionar regiões de interesse sobre a rede, que sera° mostradas com mais detalhe na tela. Usando o editor gráfico/compilador o usuário pode modificar redes durante o decorrer da apresentação. A interface com o usuário, voltada para o use em sala de aula, necessita como hardware um projetor de vídeo apropriado e um computador pessoal equipado com mouse. A utilização do compilador em sala de aula exige, no entanto, mais recursos computacionais que o simulador. Alguns modelos de redes de Petri não são suportados pelo compilador, mas podem ser implementados utilizando a linguagem de baixo nível do sistema. 0 usuário, professor ou aluno, encontrará neste trabalho instruções para o emprego pratico do sistema como instrumento para a realização de demonstrações didáticas. / This work describes the implementation of a software designed as a teaching aid for instructors of high-level Petri nets. A system for class-room use is described that is based on material developed during introductory courses of systems modelling with Petri nets. The class-room system permits the demonstration of the graphic properties and the semantics of some traditional nets, such as condition/event nets, predicate-transition nets and coloured nets, as well as low level nets. The software was designed to permit the use of nets already defined in diskettes. The user can define new nets using either the graphic editor/compiler or a low level textual language. Some models of Petri nets are not supported by the compiler, but can be implemented using the low level language. After obtaining the desired net, it is possible to perform demonstrations, simulating its operation.The software also allows step by step execution of nets, including backwards execution, and identifies, for every state, which alterations may happen and which are in conflict. A command permits the user to obtain the path between two markings of the net. The user may select regions of interest over the net, that will be shown with more detail in the screen. Using the graphic editor/compiler the user may modify the nets during the presentation. The hardware needs are a video projector and a personal computer equiped with a mouse.