Analisador e Simulador de Redes de Petri
Resumo
As Redes de Petri têm aplicação na modelagem e verificação de várias características de sistemas operacionais como a concorrência e sincronização de processos, verificação de conflitos, compartilhamento de recursos, entre outros. Este artigo descreve uma ferramenta, em desenvolvimento, que permite a descrição e a verificação de Redes de Petri com o suporte de uma interface gráfica. Esta ferramenta, baseada no ARP, está sendo desenvolvida em Java e emprega técnicas modernas de orientação a objetos e “design patterns”. Desta forma extensões a ferramentas, tais como, restrições temporais e a introdução de novas estratégias de verificação, poderão ser plugadas com certa facilidade.
Referências
Cardoso, J. e Valette, R. (1997). “Redes de Petri”, Editado na UFSC.
de Souza Leão, J. L. (2004). “Programação e Validação de Sistemas Multitarefa – Capítulo 5 Redes de Petri”, VI , 76 p, 29,7cm (Rio de Janeiro) COPPE/UFRJ, [link].
Gamma, E., Helm, R., Johnson, R. e Vlissides, J. (2003) “Design Patterns Elements of Reusable Object-Oriented Software”, Edited by Addison Wesley.
Lino, F. G (2007). “Implementação de uma ferramenta gráfica para Redes de Petri”, Monografia de Graduação, DICC/IME – UERJ.
JGoodies (2006). [link].
Marranghello, N. (2005). “Redes de Petri: Conceitos e Aplicações”, [link].
Maziero, C. (1990). “ARP - Analisador de Redes de Petri”. [link].
Maziero, C. (1990). “Um ambiente para a análise e simulação de sistemas modelados por redes de Petri”, Tese de Mestrado, Universidade Federal de Santa Catarina..
Merlin, P.M. e Farber, D.J (1976). “Recoverability of Communication Protocols – Implication of a Theoretical Study”. IEEE Transactions on Communications, págs.1036-1043.
Peterson, J. L. (1981). “Petri Net Theory and the Modeling of Systems”, Prentice-Hall, .J., 1981, ISBN: 0-13-661983-5.
Petri Nets World (2006). [link] TGI group at the University of Hamburg, Germany.
PNML (2005). Software and Systems Engineering – High-level Petri Nets, Part 2: Transfer Format. International Standard ISO/IEC 15909-2. Working Draft Version 0.9.0, June 2005. (Submitted for a ISO/IEC SC7 WD/CD registration and CD ballot).
XStream (2006). [link].
de Souza Leão, J. L. (2004). “Programação e Validação de Sistemas Multitarefa – Capítulo 5 Redes de Petri”, VI , 76 p, 29,7cm (Rio de Janeiro) COPPE/UFRJ, [link].
Gamma, E., Helm, R., Johnson, R. e Vlissides, J. (2003) “Design Patterns Elements of Reusable Object-Oriented Software”, Edited by Addison Wesley.
Lino, F. G (2007). “Implementação de uma ferramenta gráfica para Redes de Petri”, Monografia de Graduação, DICC/IME – UERJ.
JGoodies (2006). [link].
Marranghello, N. (2005). “Redes de Petri: Conceitos e Aplicações”, [link].
Maziero, C. (1990). “ARP - Analisador de Redes de Petri”. [link].
Maziero, C. (1990). “Um ambiente para a análise e simulação de sistemas modelados por redes de Petri”, Tese de Mestrado, Universidade Federal de Santa Catarina..
Merlin, P.M. e Farber, D.J (1976). “Recoverability of Communication Protocols – Implication of a Theoretical Study”. IEEE Transactions on Communications, págs.1036-1043.
Peterson, J. L. (1981). “Petri Net Theory and the Modeling of Systems”, Prentice-Hall, .J., 1981, ISBN: 0-13-661983-5.
Petri Nets World (2006). [link] TGI group at the University of Hamburg, Germany.
PNML (2005). Software and Systems Engineering – High-level Petri Nets, Part 2: Transfer Format. International Standard ISO/IEC 15909-2. Working Draft Version 0.9.0, June 2005. (Submitted for a ISO/IEC SC7 WD/CD registration and CD ballot).
XStream (2006). [link].
Publicado
30/06/2007
Como Citar
LINO, Felipe G. de Oliveira; SZTAJNBERG, Alexandre.
Analisador e Simulador de Redes de Petri. In: WORKSHOP DE SISTEMAS OPERACIONAIS (WSO), 4. , 2007, Rio de Janeiro/RJ.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2007
.
p. 898-903.
