Ambiente de Concepção de Software para Sistemas Distribuídos, Baseado em Rede de Petri
Resumo
Este artigo visa mostrar o desenvolvimento de um Ambiente de Concepção de Software para Sistemas Distribuídos, baseado na escolha da rede de Petri como formalismo de base para facilitar a integração das diversas ferramentas e simplificar seu uso.Referências
Agervala T.:"Putting Petri Nets to Work". Computer, dec. 1979 pags 85-94. IEEE, Inc.
Billington J., Wheeler G.R., Wilbur-Ham M.C.: "Protean: High-Level Petri Net Tool for the Specification and Verification on Communications Protocols". IEEE Transactions of Software Engineering, march 1988, vol.14, n.3.
Brams G. W.:" Róseaux de Petri : Théorie et Pratique (tomes 1 et 2)". Ed. Nasson 1983, France.
Brauer U., Reisig W., Rozenberg G.: "Advances in Petri Nets 1986, Part 1 e 11 - Proceedings of an Advanced Course", Ed. Springer-Verlag - Lectures Rotes in Computer Science, No.255, Sept 1986.
Courvoisier K., Valette R.:"Systemes de Commande en Temps Reel. Description, Analyse et Realisation". Editions SCH, 1980. Paris, France.
Diaz K.: "Modelling and Analysis of Communication and Cooperation Protocols Using Petri Nets Based Models", Proceedings of IFIP Protocol Specification, Testing and Verification, may 1982.
Esteban P., Valette R., Courvoisier H.: "Simplified Algorithas for Petri Nets Analysis", Proceedings of IECON'B6.
Esteban P.:"Sur la Recherche d'Algorithmes Simplifiés d'Analyse des Réseaux de Petri". Thèse de Doctorat. LAAS Toulouse, France, 1985.
Menasche M.: "Analyse des Réseaux de Petri Temporisés et Aplication aux Systénes Distribués". Thèse de Doctorat. Université Paul Sabatier de Toulouse, France, 1982.
Peterson J.L.:"Petri Net Theory and the Modeling of Systems". Ed. Prentice-Hall 1981.
Roux J.L., Juanole G.: "Functional and Performance Analysis Using Extended Petri Nets", International Workshop on Petri Nets and Performance Models, aug 1987.
Sibertin-Blanc C.: "High-Level Petri Nets vith Data Structure", 6th European Workshop on Applications and Petri Nets, ESPOO 1985.
Billington J., Wheeler G.R., Wilbur-Ham M.C.: "Protean: High-Level Petri Net Tool for the Specification and Verification on Communications Protocols". IEEE Transactions of Software Engineering, march 1988, vol.14, n.3.
Brams G. W.:" Róseaux de Petri : Théorie et Pratique (tomes 1 et 2)". Ed. Nasson 1983, France.
Brauer U., Reisig W., Rozenberg G.: "Advances in Petri Nets 1986, Part 1 e 11 - Proceedings of an Advanced Course", Ed. Springer-Verlag - Lectures Rotes in Computer Science, No.255, Sept 1986.
Courvoisier K., Valette R.:"Systemes de Commande en Temps Reel. Description, Analyse et Realisation". Editions SCH, 1980. Paris, France.
Diaz K.: "Modelling and Analysis of Communication and Cooperation Protocols Using Petri Nets Based Models", Proceedings of IFIP Protocol Specification, Testing and Verification, may 1982.
Esteban P., Valette R., Courvoisier H.: "Simplified Algorithas for Petri Nets Analysis", Proceedings of IECON'B6.
Esteban P.:"Sur la Recherche d'Algorithmes Simplifiés d'Analyse des Réseaux de Petri". Thèse de Doctorat. LAAS Toulouse, France, 1985.
Menasche M.: "Analyse des Réseaux de Petri Temporisés et Aplication aux Systénes Distribués". Thèse de Doctorat. Université Paul Sabatier de Toulouse, France, 1982.
Peterson J.L.:"Petri Net Theory and the Modeling of Systems". Ed. Prentice-Hall 1981.
Roux J.L., Juanole G.: "Functional and Performance Analysis Using Extended Petri Nets", International Workshop on Petri Nets and Performance Models, aug 1987.
Sibertin-Blanc C.: "High-Level Petri Nets vith Data Structure", 6th European Workshop on Applications and Petri Nets, ESPOO 1985.
Publicado
27/10/1988
Como Citar
MAZIERO, Carlos Alberto; FARINES, Jean-Marie.
Ambiente de Concepção de Software para Sistemas Distribuídos, Baseado em Rede de Petri. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 2. , 1988, Canela/RS.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1988
.
p. 150-157.
DOI: https://doi.org/10.5753/sbes.1988.24253.
