João Paulo Barros
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.
- Ben-Ari, M. "Principles of Concurrent Programming", Prentice-Hall, 1982 Google Scholar
Digital Library
- Jensen, K. e Rozemberg(Eds.) High-level Petri Nets:Theory and Application, Springer-Verlag, 1991 Google ScholarDigital Library
- Magee, Jeff, Kramer, Jeff, "Concurrency State Models and Java Programs", John Wiley & Sons, 1999 Google ScholarDigital Library
- Petri Net Tools, http://www.daimi.au.dk/PetriNets/tools/Google Scholar
- Reisig, Wolfgang, "Elements of Distributed Algorithms - Modeling and Analysis with Petri Nets", Springer, 1998 Google ScholarDigital Library
Index Terms
- Specific proposals for the use of petri nets in a concurrent programming course
Recommendations
Specific proposals for the use of petri nets in a concurrent programming course
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 ...
Reducing k-safe Petri nets to pomset-equivalent 1-safe Petri nets
ICATPN'00: Proceedings of the 21st international conference on Application and theory of petri netsIt is a well-known fact that for every k-safe Petri net, i.e. a Petri net in which no place contains more than k ∈ N tokens under any reachable marking, there is a 1-safe Petri net with the same interleaving behaviour. Indeed these types of Petri nets ...
Formalising concurrent UML state machines using coloured Petri nets
AbstractWith the increasing complexity of dynamic concurrent systems, a phase of formal specification and formal verification is needed. UML state machines are widely used to specify dynamic systems behaviours. However, the official semantics of UML is ...
Comments