Cited By
View all- Armoni M(2015)Impressions from the 9th WiPSCE conference, Berlin, November 2014ACM Inroads10.1145/27565596:2(29-30)Online publication date: 29-May-2015
Petri nets in secondary CS education
Pages 138 - 139
Abstract
Petri nets are a graphic and dynamic model type for interactive and distributed systems. They have been proposed for secondary CS education before but existing discussions are superficial at best. We present the results of a qualitative evaluation of two 90-minute lessons on Petri nets. The aim was to generate several working hypotheses for future research.
References
[1]
R. K. Coll, B. France, and I. Taylor. The role of models/and analogies in science education: implications from research. International Journal of Science Education, 27(2):183--198, 2005.
[2]
J. D. Golbert and B. C. Buckley. Introduction to model-based teaching and learning in science education. International Journal of Science Education, 22(9):891--894, 2000.
[3]
P. Hubwieser. Didaktik der Informatik: Grundlagen, Konzepte, Beispiele. Springer, Berlin, 3 edition, 2007.
[4]
W. Reisig. Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies. Springer, Berlin, 2013.
[5]
T. Rotering. Petrinetze als Modellierungswerkzeug auf dem Weg zur Implementation von Steuerungsprozessen in der Sekundarstufe II. Staatsexamensarbeit, 2010. http://rotering-net.de/edu/files/staatsarbeit2.pdf, last retrieved: 11.07.2014.
[6]
A. Schwill. Beschreibung paralleler Abläufe mit Petri-Netzen. Log In 13, 5:45--51, 1993.
Index Terms
- Petri nets in secondary CS education
Recommendations
Improving secondary CS education: progress and problems
The Institute for Computing Education (ICE) was created in the spring of 2004. ICE is a partnership between the Georgia Department of Education and the College of Computing at Georgia Tech. The goals for this partnership are to increase the number and ...
Petri nets and resource bisimulation
Concurrency Specification and Programming (CS&P'2002), Part 2Resources are defined as submultisets of Petri net markings. Two resources are called similar if replacing one of them by another in any marking doesn't change the Petri net's behavior. We define the relations of resource similarity and resource ...
Petri nets and resource bisimulation
Concurrency specification and programmingResources are defined as submultisets of Petri net markings. Two resources are called similar if replacing one of them by another in any marking doesn't change the Petri net's behavior. We define the relations of resource similarity and resource ...
Comments
Information & Contributors
Information
Published In
November 2014
150 pages
ISBN:9781450332507
DOI:10.1145/2670757
- Conference Chairs:
- Carsten Schulte,
- Michael E. Caspersen,
- Judith Gal-Ezer
Copyright © 2014 Owner/Author.
Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.
Sponsors
- FU-BERLIN: Free University Berlin
In-Cooperation
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 05 November 2014
Check for updates
Author Tags
Qualifiers
- Research-article
Conference
WiPSCE '14
Sponsor:
- FU-BERLIN
WiPSCE '14: Workshop in Primary and Secondary Computing Education
November 5 - 7, 2014
Berlin, Germany
Acceptance Rates
Overall Acceptance Rate 104 of 279 submissions, 37%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 70Total Downloads
- Downloads (Last 12 months)4
- Downloads (Last 6 weeks)0
Reflects downloads up to 07 Mar 2025
Other Metrics
Citations
Cited By
View all- Armoni M(2015)Impressions from the 9th WiPSCE conference, Berlin, November 2014ACM Inroads10.1145/27565596:2(29-30)Online publication date: 29-May-2015
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in