Abstract

Translating Haskell# Programs into Petri Nets
Heron Carvalho - Centro de Informática, UFPE
Rafael Lins - Departamento de Eletrônica e Sistemas, CTG/UFPE
Ricardo Lima - Associação de Ensino Superior de Olinda
Haskell# is a concurrent programming environment aimed at parallel distributed
architectures. Haskell# programs may be automatically translated to Petri
nets, an important
formalism for analysis of properties of concurrent and non-determinisc
systems. This paper motivates and formalizes the translation of Haskell#
programs into Petri nets, providing some examples of their usage.


Last update: Wed Jun 12 14:26:53 2002 WEST