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(a) principal: | |
---|---|
Data de Publicação: | 1996 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
Texto Completo: | http://comum.rcaap.pt/handle/123456789/1246 http://hdl.handle.net/20.500.12207/266 |
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. |
id |
RCAP_13cbfc9d122857b6dbcd5268a404b753 |
---|---|
oai_identifier_str |
oai:repositorio.ipbeja.pt:20.500.12207/266 |
network_acronym_str |
RCAP |
network_name_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository_id_str |
7160 |
spelling |
CpPNeTS: uma classe de Redes de Petri de alto-nível: implementação de um sistema de suporte à sua aplicação e análiseRedes de PetriRedes não-autónomasLinguagens de especificação textuaisInterpretadorCompiladorC++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.2011-09-20T17:45:03Z1996-01-01T00:00:00Z1996info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://comum.rcaap.pt/handle/123456789/1246http://hdl.handle.net/20.500.12207/266porBarros, João Pauloinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-11-09T08:14:13Zoai:repositorio.ipbeja.pt:20.500.12207/266Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T14:58:08.004648Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse |
dc.title.none.fl_str_mv |
CpPNeTS: uma classe de Redes de Petri de alto-nível: implementação de um sistema de suporte à sua aplicação e análise |
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 |
spellingShingle |
CpPNeTS: uma classe de Redes de Petri de alto-nível: implementação de um sistema de suporte à sua aplicação e análise Barros, João Paulo Redes de Petri Redes não-autónomas Linguagens de especificação textuais Interpretador Compilador C++ |
title_short |
CpPNeTS: uma classe de Redes de Petri de alto-nível: implementação de um sistema de suporte à sua aplicação e análise |
title_full |
CpPNeTS: uma classe de Redes de Petri de alto-nível: implementação de um sistema de suporte à sua aplicação e análise |
title_fullStr |
CpPNeTS: uma classe de Redes de Petri de alto-nível: implementação de um sistema de suporte à sua aplicação e análise |
title_full_unstemmed |
CpPNeTS: uma classe de Redes de Petri de alto-nível: implementação de um sistema de suporte à sua aplicação e análise |
title_sort |
CpPNeTS: uma classe de Redes de Petri de alto-nível: implementação de um sistema de suporte à sua aplicação e análise |
author |
Barros, João Paulo |
author_facet |
Barros, João Paulo |
author_role |
author |
dc.contributor.author.fl_str_mv |
Barros, João Paulo |
dc.subject.por.fl_str_mv |
Redes de Petri Redes não-autónomas Linguagens de especificação textuais Interpretador Compilador C++ |
topic |
Redes de Petri Redes não-autónomas Linguagens de especificação textuais Interpretador Compilador C++ |
description |
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. |
publishDate |
1996 |
dc.date.none.fl_str_mv |
1996-01-01T00:00:00Z 1996 2011-09-20T17:45:03Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
format |
masterThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://comum.rcaap.pt/handle/123456789/1246 http://hdl.handle.net/20.500.12207/266 |
url |
http://comum.rcaap.pt/handle/123456789/1246 http://hdl.handle.net/20.500.12207/266 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.source.none.fl_str_mv |
reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação instacron:RCAAP |
instname_str |
Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
instacron_str |
RCAAP |
institution |
RCAAP |
reponame_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
collection |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository.name.fl_str_mv |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
repository.mail.fl_str_mv |
|
_version_ |
1799129855108841472 |