Production of the Extensible Petr i Net Editor / Animator “ Medusa ”

@inproceedings{Dingle2001ProductionOT,
  title={Production of the Extensible Petr i Net Editor / Animator “ Medusa ”},
  author={Nicholas J. Dingle},
  year={2001}
}
Petri nets are a widely used formalism for the analysis of concurrent systems and as such there are a plethora of existing tools which allow users to edit, animate and analyse a range of Petri net classes. These tools are essentially limited, however, to the functionality incorporated into them when they are written. The main aim of the project was therefore to produce a basic Petri net editor/animator tool which could be arbitrarily extended by the user. This was achieved by designing an… CONTINUE READING

Citations

Publications citing this paper.

References

Publications referenced by this paper.
Showing 1-10 of 12 references

Predator - A Hierarchical Petri Net Editor (Unpublished

  • Mark Wass
  • 2001

The Java(TM) Tutorial: A Short Course on the Basics (The Java(TM) Series

  • Mary Campione, Kathy Walrath, Alison Huml
  • (Palo Alto, CA: Sun Microsystems Inc.,
  • 2001

Daconta, When Runtime.exe() won

  • C. Michael
  • t, from http://www.javaworld.com/javaworld/jw-12…
  • 2000

The XML File Format of Renew (University of Hamburg) presented at the ‘Meeting on XML/SGML based Interchange Formats for Petri Nets

  • Olaf Kummer, Frank Wienberg
  • at the 21st International Conference on…
  • 2000

Generalised Markovian Analysis of Timed Transition Systems (Unpublished MSc

  • William J. Knottenbelt
  • 1996

Stochastic Petri Nets – An Introduction to the Theory (Braunschweig/Wiesbaden, Germany: Advanced Studies in Computer Science, Friedr

  • Falko Bause, S Pieter, Kritzinger
  • Vieweg & Sohn Verlag,
  • 1995

Similar Papers

Loading similar papers…