• Apresentação
• Avisos e Sumários
• Bibliografia
• Avaliação
  • Grupos
  • Projecto 1
  • Projecto 2
  • Projecto 3
  • Projecto 4
  • Projecto 5
  • Projecto 6
  • Projecto 7
• Material de Apoio
• Contactar Docente

Editor de redes P/T em wxHaskell

Pretende-se neste projecto que desenvolva um editor gráfico para redes P/T usando a biblioteca wxHaskell. O tipo de dados das redes deve ser compatível com a seguinte interface.

{-# OPTIONS -fglasgow-exts #-}
module PTNet where

import Data.Set
import Data.Map

class (Eq p, Show p, Eq t, Show t) => PTNet n p t where
    places :: n p t -> Set p
    trans :: n p t -> Set t
    pre :: n p t -> Map (p,t) Int
    pos :: n p t -> Map (t,p) Int
    capacity :: n p t -> Map p Int
    initial :: n p t -> Map p Int

Opcionalmente, podem também implementar a animação do jogo das marcas.