Links:

  • Dicas de programação para a biblioteca IPC do Unix x [OK!] aqui, tambem disponiveis na pagina de SO I
  • Site do livro Concurrency com material disponível relacionado a verificação de sistemas concorrentes
  • O simulador de Rede de Petri e outras ferramentas e links aqui
  • Material sobre MindStorms aqui
  • Redes de Petri. Link 1 (bem completo, com ferramentas),  WikiPedia
class=WordSection2>