[en] A STUDY ON COLORED PETRI NETS AND A PROGRAM TO ANALYZE COLORED PETRI NETS: ANARCO
[pt] A modelagem de sistemas que apresentam subsistemas idênticos, por intermédio de Redes de Petri, conduz à geração de grafos de grandes dimensões com diversos componentes indênticos. As extensões às Redes de Petri que permitem diferenciar estes diversos subsistemas, por intermédio da distinção da...
| Author: | |
|---|---|
| Format: | doctoral thesis |
| Status: | Published version |
| Publication Date: | 2009 |
| Country: | Brasil |
| Institution: | Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO) |
| Repository: | Repositório Institucional da PUC-RIO (Projeto Maxwell) |
| Language: | Portuguese |
| OAI Identifier: | oai:MAXWELL.puc-rio.br:14192 |
| Online Access: | https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=14192&idi=1 https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=14192&idi=2 http://doi.org/10.17771/PUCRio.acad.14192 |
| Access Level: | Open access |
| Keyword: | [pt] REDES DE PETRI [pt] REDES DE PETRI COLORIDAS [en] PETRI NETS |
| Summary: | [pt] A modelagem de sistemas que apresentam subsistemas idênticos, por intermédio de Redes de Petri, conduz à geração de grafos de grandes dimensões com diversos componentes indênticos. As extensões às Redes de Petri que permitem diferenciar estes diversos subsistemas, por intermédio da distinção das fichas nelas contidas, receberam o nome de Redes de Petri Coloridas. Neste trabalho, são apresentados algumas propostas existentes na literatura sobre Redes de Petri Coloridas, bem como é desenvolvido um programa de análise baseado em uma dessas propostas - a de kurt Jensen. O programa analisa as propriedades de uma Rede de Petri Colorida, tais como limitação, vitalidade e capacidade de reinicialização, através do método de enumeração de marcações. |
|---|