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.

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