[comp.theory] Petri Nets and performance modeling

frankw@tc.fluke.COM (Frank Wang) (08/14/90)

I have just started looking at Petri Nets for possible realtime software system
performance modeling.  A cursory review of what has happened in this area of
research,  I have found the ordinary Petri Nets and its time extension could be
quite useful to my work.  Since I am very new to this part of world, I wonder
if anybody in this group knows the current state of Petri Net application to
industry.  I have seen and heard some commercially available tools like ADAS, a
UNIX tool called "petri" written by Ira Forman in MCC, and a colored Petri Net
analysis tool from Meta Software.  

The implementation of these products vary quite much.  I wonder, for industrial
realtime software application, at what level I would need for such tool?  The
mentioned commercial products are quite expensive to my project.  I wonder if
there is a public domain package available?

My software system will extensively use shared-resources and priority of
different execution tasks.  The shared-resources have many good models built in
the past, but I haven't seen many priority system models.  

Any help will be greatly appreciated.

Frank Wang @ John Fluke Mfg. Co., Inc.

206-356-5847 (work)
frankw@tc.fluke.com
frankw@blake.acs.washington.edu
frankw@milton.acs.washington.edu