Useful Links

Group-generated content is in bold for easy reference.

Our Project

• Daniel - GUI prototype (02/01/25)
• Michelle - Extended prototype (02/01/25)), draws net and creates properties box
• Raphael - First draft of Report 1 (Word document) (02/01/22)
• Michelle - Petri net program (02/01/22) (proof of concept - PNML via JDOM, a possible Swing implementation with MDI) - run "java ProgramDemo"
• Michelle - Aquarium program (02/01/21) (proof of concept - XML access via JDOM) - Don't look at this one for the Swing code! main() and printContents() are the most informative.
• To get the programs above to work, you'll need to install the latest JDOM

Petri Nets

• Petri Nets World

Petri Net Tools

• Petri Net Tool Survey (100+ tools)
• Renew
• Medusa (njd200) report and code (including DnamacaModule, GraphAnalysis module and Invariant Analysis module)
• Predator report (mw400) and webpage/downloads
• DaNAMiCS

XML/PNML

• Michelle - summary of XML/PNML for the project (local site)
• Daniel - summary of the DOM and JDOM (Word document)
• XML at the W3C
  • XML in 10 points (quick summary)
• Petri Net Markup Language PNML
  • An example of PNML
  • A Universal Module Concept for Petri Nets. An Implementation-Oriented Approach - most recent (?) description of PNML, including modules (subnets). Also in pdf form.

Java

• The Java Tutorial at Sun
• Java and XML Tutorial at Sun
  • An overview of the APIs
• JDOM
• JDOM tutorial at Javaworld
• When Runtime.exec() won't at Javaworld, on Reflection

Analysis

• Graph Theory
  • Paper on improvements in algorithms for graph theory analysis - Helsinki university
• Invariance Analysis
  • Alex - Invariance Analysis notes and project summary in Word format. Gauss-Jordan algorithm.