What should we teach about Petri nets?

                                 Wolfgang Reisig

              Institut für Informatik, Humboldt-Universität zu Berlin
                               Theory of Programming
                         reisig@informatik.hu-berlin.de


                                    Abstract

    I challenge the traditional choice of topics and the usual style of presentation
for introductory courses on Petri nets. For such a course I suggest a number
of aspects that usually are not considered fundamental. This includes faithful
models, a slight revision of formalisms and terminology, specific techniques to in-
crease the expressive power of Petri net models, aspects derived from distributed
runs, and particular mathematics to specify and verify properties of Petri net
models.