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

Título: CpPNeTS: uma classe de Redes de Petri de alto-nível: implementação de um sistema de suporte à sua aplicação e análise
Autor: Barros, João Paulo
Palavras-chave: Redes de Petri
Redes não-autónomas
Linguagens de especificação textuais
Interpretador
Compilador
C++
Issue Date: 1996
Resumo: 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.
Descrição: 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 Logotipo do DeGóis 

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

 

© 2014 - REPOSITÓRIO COMUM - Comentários - Statistics
Promotores do RCAAP   Financiadores do RCAAP

Fundação para a Ciência e a Tecnologia Universidade do Minho   Governo Português Ministério da Educação e Ciência PO Sociedade do Conhecimento (POSC) Portal oficial da União Europeia