=Paper=
{{Paper
|id=None
|storemode=property
|title=What Should we Teach About Petri Nets?
|pdfUrl=https://ceur-ws.org/Vol-851/paper1.pdf
|volume=Vol-851
|dblpUrl=https://dblp.org/rec/conf/apn/Reisig12
}}
==What Should we Teach About Petri Nets?==
<pdf width="1500px">https://ceur-ws.org/Vol-851/paper1.pdf</pdf>
<pre>
       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.

</pre>