[comp.os.research] Tech. Report WSU-CS-88-3

ghura@odin.wright.edu (Gurdeep Hura) (03/18/89)

[ From the performance mailing list.  --DL ]

I appreciate it if you could broadcast about this tech. report to all the
members of this group.

      Petri nets and Various extended net types: A comparative study

               Gurdeep S. Hura and Farhad S. Etessami

                         Absract

Petri nets and related graph models have been recognized as a useful and
effective modeling tool for the representation,analysis and design of
concurrent and asynchronous systems.Due to inherent properties of Petri nets
to model flow of information(data and control),they have been extensively
modified to meet the requirements of different applications.Extensions of
Petri nets have in most cases resulted into increasing the modeling power to
that of Turing machine, and thus decreasing the decision power.  In this
technical report an endeavour is made to discuss various extensions of Petri
nets,make an analytical comparison between them,and show a hierarchy of their
modeling capabilities.  Further,an attempt will be made to come up with some
suggestions as to the general area where future research should be directed.