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.
Back to the Petri Nets Bibliography