Redes de Petri Hierárquicas
Resumo
Redes de Petri representam uma ferramenta poderosa para a especificação de sistemes de software com alto grau de paralelimo e complexas condições de interdependência entre seus componentes. Um ponto fraco destas redes é a impossibilidade de uma estruturação hierárquica da descrição de um sistema. Apresentamos aqui Redes de Petri Hierárquicas (HPN) que permitem uma decomposição tanto das unidades de dados como das transições em Sub-Redes.
Palavras-chave:
Redes de Petri, Redes Hierárquicas, Projeto Estruturado
Referências
G. Bruno & A. Balsamo Petri-Net Object-Oriented Modelling of Distributed Systems, Proc. ODFSLA (1986).
H. J. Genrich & K. Lautenbach System Modelling with High-Level Petri Nets, Theoretical Comp. Science, Vol. 13, (1981) 109-136.
G. Kappel & M. Schrefl A Behaviour Integrated Entity-Relationship Approach for the Design of Object-Oriented Databases, Proc. E-R Conference (1988).
G. Lausen Conceptual Modelling based, en Net Refinements, in Database Semantics (DS-1), T. Steel & R. Meersman (eds.) North-Holland (1986) 41-57.
U. Schiel Net Hierarchies, Proc. Intl. Conf. on Databaces, Parallel Architectures, and their Applications (PARBASE), Miami Beach (1990) p. 554.
U. Schiel & I. Mistrik Using Object-Oriented Analysis and Design for Integrated Systems, Proc. First Intl, Conf. on Systems Integration (ICSI), New Jersey (1990).
G. Thicier-Mevisser Anwendungen der Hetztheorie zur fornalen Systenspezifikations, GMD-Bericht 166, Oldenburg Verlag (1987).
H. J. Genrich & K. Lautenbach System Modelling with High-Level Petri Nets, Theoretical Comp. Science, Vol. 13, (1981) 109-136.
G. Kappel & M. Schrefl A Behaviour Integrated Entity-Relationship Approach for the Design of Object-Oriented Databases, Proc. E-R Conference (1988).
G. Lausen Conceptual Modelling based, en Net Refinements, in Database Semantics (DS-1), T. Steel & R. Meersman (eds.) North-Holland (1986) 41-57.
U. Schiel Net Hierarchies, Proc. Intl. Conf. on Databaces, Parallel Architectures, and their Applications (PARBASE), Miami Beach (1990) p. 554.
U. Schiel & I. Mistrik Using Object-Oriented Analysis and Design for Integrated Systems, Proc. First Intl, Conf. on Systems Integration (ICSI), New Jersey (1990).
G. Thicier-Mevisser Anwendungen der Hetztheorie zur fornalen Systenspezifikations, GMD-Bericht 166, Oldenburg Verlag (1987).
Publicado
24/10/1990
Como Citar
SCHIEL, Ulrich.
Redes de Petri Hierárquicas. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 4. , 1990, Águas de São Pedro/São Paulo.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1990
.
p. 124-133.
DOI: https://doi.org/10.5753/sbes.1990.24171.
