djt@cs.rochester.edu (Don Totten) (04/06/89)
[ Contact R. M. Geist, geist@hubcap.clemson.edu, for some more information. -- steve ] Does anyone have any knowledge of any 'toolkits' which have automated Petri net modeling/analysis for validating communications protocols and modeling real-time software systems? Thanks for any information. Don Totten ...rochester!cci632!djt
agn@unh.cs.cmu.edu (Andreas Nowatzyk) (04/10/89)
I used "GreatSPN" written by Giovanni Chiola which is based
on M. Molloy's work on generalized Petri Nets. It is a very
nice package:
- Interactive graphics editor (run on SUNs using Suntools)
that produces internal representations and postscript
output.
- The editor knows about PNs and does sanity checks.
- Deterministic, immediate and exponentially timed transitions
- Inhibitor arcs are supported.
- Analysis tools can be called from the editor and
backannotate into the graphical representation.
(Several analytical analysis modules are included plus
a Monte Carlo simulator for cases that exceed the
analytical capabilities)
- Error bounds on the results are given.
Results appear as bar-graphs or in numeric form.
- Interactive net execution (to debug the net)
- Static analysis tools are provided to check boundedness etc.
Minor drawback: the simulator was written in pascal and was quite
slow. I rewrote that in C (left out a few features that I didn't
need plus added others: about 50-100x speedup, or about 100K
transition fires/sec on a SUN 3/60. Nets with 500 places and
1000 transitions were successfully solved.
My code is free for the asking, GreatSPN requires permission from
the author, who can be reached on BIT-NET:
CHIOLA%ITOINFO.BITNET%IBOINFN.BITNET
I can redistribute GreatSPN if evidence of the author's permission
is presented. This may speed up things (Smail round-trip for a tape
to Italy isn't great), but leaves you with version 1.4 which may not
be the most recent.
--
-- Andreas Nowatzyk (DC5ZV)
Carnegie-Mellon University agn@unh.cs.cmu.edu
Computer Science Department (412) 268-3617aglew@mcdurb.Urbana.Gould.COM (04/12/89)
>I used "GreatSPN" written by Giovanni Chiola which is based >on M. Molloy's work on generalized Petri Nets. It is a very >nice package: > >My code is free for the asking, GreatSPN requires permission from >the author, who can be reached on BIT-NET: > > CHIOLA%ITOINFO.BITNET%IBOINFN.BITNET Has Giovanni loosened up a bit about licencing? I talked to him at a SIGMETRICS about looking at GreatSPN -- looking, not using, evaluating as it were -- and he wanted 5-10,000$ for it. I suppose that's because I was (and still am) working in industry rather than academia. Sigh... has nobody ever heard of hobbyists? Enthusiasts who try something out in their own time, and if it works then persuade their company to start purchasing and applying it? Oh well... it appears to that world that you are either in university or industry; nobody recognizes the amateur anymore. Andy "Krazy" Glew aglew@urbana.mcd.mot.com uunet!uiucdcs!mcdurb!aglew Motorola Microcomputer Division, Champaign-Urbana Design Center 1101 E. University, Urbana, Illinois 61801, USA. My opinions are my own, and are not the opinions of my employer, or any other organisation. I indicate my company only so that the reader may account for any possible bias I may have towards our products.