For the most recent entries see the Petri Nets Newsletter.

Translating Haskell-sharp Programs into Petri Nets.

de Carvalho Junior, Francisco Heron; Lins, Rafael Dueire; Lima, Ricardo Massa Ferreira

In: Volume 2565 of Lecture Notes in Computer Science, pages 635-649. January 2003.

Abstract: Haskell-sharp is a concurrent programming environment aimed at parallel distributed architectures. Haskell-sharp 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-sharp programs into Petri nets, providing some examples of their usage.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography