ARTICLE

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

Author:
João Paulo Barros

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

Escola Superior de Tecnologia e Gestäo de Beja, Instituto Politécnico de Beja, Rue Afonso III, n.° 1, 7800-050 Beja, Portugal
View Profile
Authors Info & Affiliations

Publication: ITiCSE '01: Proceedings of the 6th annual conference on Innovation and technology in computer science educationJune 2001 https://doi.org/10.1145/377435.377713

ITiCSE '01: Proceedings of the 6th annual conference on Innovation and technology in computer science education

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.

References

1.Magee, Jeff, Kramer, Jeff, "Concurrency State Models and Java Programs", John Wiley & Sons, 1999 Google Scholar
2.Petri Nets World, http://www.daimi.aau.dk/PetriNets, 1 February 2001.Google Scholar
3.Petri Nets World Tools on the Web, http://www.dalmi.aau.dk/PetriNets/tools, 1 February 2001.Google Scholar

Index Terms

Use petri nets to improve your concurrent programming course (poster session)
1. Social and professional topics
  1. Professional topics
    1. Computing education
      1. Computing education programs
        Computer science education
        Information science education

Comments

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Published in
ITiCSE '01: Proceedings of the 6th annual conference on Innovation and technology in computer science education
June 2001
198 pages
ISBN:1581133308
DOI:10.1145/377435

Chairmans:

Sally Fincher
Univ. of Kent at Canterbury, U.K.
,

Bruce Klein
Grand Valley State Univ.
,

Fintan Culwin
South Bank State Univ., U.K.
,

Mike McCracken
Georgia Institute of Technology

ACM SIGCSE Bulletin Volume 33, Issue 3
Sept. 2001
ISSN:0097-8418
DOI:10.1145/507758

Editor:

Sally Fincher
Univ. of Kent at Cantebury, UK

Issue’s Table of Contents
Copyright © 2001 ACM
Sponsors
In-Cooperation
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
- Published: 25 June 2001
Permissions
Request permissions about this article.
Request Permissions
Qualifiers
- ARTICLE
Conference

Acceptance Rates
ITiCSE '01 Paper Acceptance Rate 43 of 139 submissions, 31%
Overall Acceptance Rate 1,012 of 2,842 submissions, 36%
More
Funding Sources
Contributor Metrics
Expand All

Jo�o Barros Universidade do Porto

Publication Years2000 - 2015
Publication counts40
Available for Download23
Citation count160
Downloads (cumulative)8,033
Downloads (6 weeks)21
Downloads (12 months)426
Average Citation per Article4
Average Downloads per Article349
View Full Profile
Other Metrics
View Article Metrics

Article Metrics
- 0
  Total Citations
  View Citations
- 355
  Total Downloads
- Downloads (Last 12 months)21
- Downloads (Last 6 weeks)0
Other Metrics
View Author Metrics
Cited By
This publication has not been cited yet

PDF Format

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

0References

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

Save to Binder

ITiCSE '01: Proceedings of the 6th annual conference on Innovation and technology in computer science education

ABSTRACT

References

Index Terms

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