Use petri nets to improve your concurrent programming course (poster session)

  • Authors:

  • João Paulo Barros

  • Affiliations:

  • Escola Superior de Tecnologia e Gestäo de Beja, Instituto Politécnico de Beja, Rue Afonso III, n.° 1, 7800-050 Beja, Portugal

  • Venue:
  • Proceedings of the 6th annual conference on Innovation and technology in computer science education
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

Petri nets are recommended as a learning aid in a concurrent programming course covering modelling and verification techniques, based on state space analysis, and translation of formal models to Java programs.