O Seu Saber Ocupa um Lugar! DSpace

Repositório Comum >
RDIPB - Repositório Digital do Instituto Politécnico de Beja >
RDIPB - Departamentos >
RDIPB - D-ENG - Engenharia >
RDIPB - D-ENG - Dissertações de Mestrado >

Please use this identifier to cite or link to this item: http://comum.rcaap.pt/handle/123456789/1246

Title: CpPNeTS: uma classe de Redes de Petri de alto-nível: implementação de um sistema de suporte à sua aplicação e análise
Authors: Barros, João Paulo
Keywords: Redes de Petri
Redes não-autónomas
Linguagens de especificação textuais
Interpretador
Compilador
C++
Issue Date: 1996
Abstract: Nesta dissertação é apresentado um sistema de suporte à aplicação de uma nova classe de Redes de Petri (RdP) de alto-nível (CpPNeTS), que permite a geração automática de código para controladores, nomeadamente controladores lógicos programáveis industriais. Inicia-se com uma breve apresentação das RdP, que dá especial ênfase às RdP de alto-nível e às RdP não-autónomas. Seguidamente, apresentam-se as CpPNeTS. Estas são RdP de alto-nível, hierárquicas e temporizadas, com capacidade de especificação de actuações externas e de sincronismo com eventos externos, em função da marcação da rede. A modelação do tempo permite a especificação, análise e simulação de sistemas com exigências de tempo real. A linguagem C++ é utilizada para as inscrições da rede. Define-se uma linguagem de descrição para CpPNeTS (CpPNeTS-DL) e descreve-se um pré-processador que permite traduzir a linguagem de descrição em código C++. Esse código é compilado e ligado com uma biblioteca C++ que implementa as funcionalidades do sistema. O programa executável resultante pode gerar uma máquina de estados ou um grafo de ocorrências a partir da rede descrita em CpPNeTS-DL. A biblioteca é facilmente extensível com vista a suportar outros tipos de análise e simulação da rede. Após uma descrição da estrutura e funcionalidades da biblioteca implementada, apresenta-se a aplicação dos programas desenvolvidos a vários exemplos usualmente referidos na literatura.
Description: Dissertação de Mestrado apresentada à Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia
URI: http://comum.rcaap.pt/handle/123456789/1246
Appears in Collections:RDIPB - D-ENG - Dissertações de Mestrado

Files in This Item:

File Description SizeFormat
ccrpan.pdf1.35 MBAdobe PDFView/Open
Statistics
FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpaceOrkut
Formato BibTex mendeley Endnote 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Estamos no RCAAP Governo Português separator Ministério da Educação e Ciência   Fundação para a Ciência e a Tecnologia

Financiado por:

POS_C UE
© 2009 - REPOSITÓRIO COMUM - Comentários - Statistics