Publication
CpPNeTS: uma classe de Redes de Petri de alto-nível: implementação de um sistema de suporte à sua aplicação e análise
| dc.contributor.author | Barros, João Paulo | |
| dc.date.accessioned | 2011-09-20T17:45:03Z | |
| dc.date.available | 2011-09-20T17:45:03Z | |
| dc.date.issued | 1996 | |
| dc.description | Dissertação de Mestrado apresentada à Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia | por |
| dc.description.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. | por |
| dc.identifier.uri | http://hdl.handle.net/10400.26/1246 | |
| dc.language.iso | por | por |
| dc.subject | Redes de Petri | por |
| dc.subject | Redes não-autónomas | por |
| dc.subject | Linguagens de especificação textuais | por |
| dc.subject | Interpretador | por |
| dc.subject | Compilador | por |
| dc.subject | C++ | por |
| dc.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 | por |
| dc.type | master thesis | |
| dspace.entity.type | Publication | |
| rcaap.rights | openAccess | por |
| rcaap.type | masterThesis | por |