Specific proposals for the use of petri nets in a concurrent programming course

Authors:
João Paulo Barros
Affiliations:
Instituto Politécnico de Beja, Escola Superior de Tecnologia e Gestão, Beja, Portugal
Venue:
Proceedings of the 7th annual conference on Innovation and technology in computer science education
Year:
2002

Citing 4
Cited 1

High-level Petri nets: theory and application

High-level Petri nets: theory and application
Elements of distributed algorithms: modeling and analysis with Petri nets

Elements of distributed algorithms: modeling and analysis with Petri nets
Concurrency: state models & Java programs

Concurrency: state models & Java programs
Principles of Concurrent Programming

Principles of Concurrent Programming

Using remote logging for teaching concurrency

SIGCSE '03 Proceedings of the 34th SIGCSE technical symposium on Computer science education

Quantified Score

Hi-index	0.00

Visualization

Abstract

Concurrency is a difficult subject to teach and learn. This paper presents a set of recipes for the use of Petri nets as a teaching aid of some fundamental concurrency concepts, in the context of an introductory concurrent programming course. Classroom experience clearly demonstrates this usage of Petri nets improves students understanding of concurrency concepts.