|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.